summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2015-07-08 16:31:02 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2015-07-08 16:33:32 +0200
commit6f9efcbda25dec53364bc315fca79a7065f7de50 (patch)
treeb2da47098c56104c395f02fa10e091245e2f376e
parent3d5f8e7493c40da855518f7b602760ed6fc0c234 (diff)
downloadhaskell-6f9efcbda25dec53364bc315fca79a7065f7de50.tar.gz
Delete duplicate "Note [Unpack equality predicates]"
The other one is MkId.hs.
-rw-r--r--compiler/basicTypes/DataCon.hs11
1 files changed, 0 insertions, 11 deletions
diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs
index 79c14726cd..5a7245828d 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