[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