[commit: ghc] master: Delete duplicate "Note [Unpack equality predicates]" (6f9efcb)
git at git.haskell.org
git at git.haskell.org
Wed Jul 8 14:34:50 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/6f9efcbda25dec53364bc315fca79a7065f7de50/ghc
>---------------------------------------------------------------
commit 6f9efcbda25dec53364bc315fca79a7065f7de50
Author: Thomas Miedema <thomasmiedema at gmail.com>
Date: Wed Jul 8 16:31:02 2015 +0200
Delete duplicate "Note [Unpack equality predicates]"
The other one is MkId.hs.
>---------------------------------------------------------------
6f9efcbda25dec53364bc315fca79a7065f7de50
compiler/basicTypes/DataCon.hs | 11 -----------
1 file changed, 11 deletions(-)
diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs
index 79c1472..5a72458 100644
--- a/compiler/basicTypes/DataCon.hs
+++ b/compiler/basicTypes/DataCon.hs
@@ -698,17 +698,6 @@ mkDataCon name declared_infix
eqSpecPreds :: [(TyVar,Type)] -> ThetaType
eqSpecPreds spec = [ mkEqPred (mkTyVarTy tv) ty | (tv,ty) <- spec ]
-{-
-Note [Unpack equality predicates]
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-If we have a GADT with a contructor C :: (a~[b]) => b -> T a
-we definitely want that equality predicate *unboxed* so that it
-takes no space at all. This is easily done: just give it
-an UNPACK pragma. The rest of the unpack/repack code does the
-heavy lifting. This one line makes every GADT take a word less
-space for each equality predicate, so it's pretty important!
--}
-
-- | The 'Name' of the 'DataCon', giving it a unique, rooted identification
dataConName :: DataCon -> Name
dataConName = dcName
More information about the ghc-commits
mailing list