diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-07-08 16:31:02 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-07-08 16:33:32 +0200 |
| commit | 6f9efcbda25dec53364bc315fca79a7065f7de50 (patch) | |
| tree | b2da47098c56104c395f02fa10e091245e2f376e | |
| parent | 3d5f8e7493c40da855518f7b602760ed6fc0c234 (diff) | |
| download | haskell-6f9efcbda25dec53364bc315fca79a7065f7de50.tar.gz | |
Delete duplicate "Note [Unpack equality predicates]"
The other one is MkId.hs.
| -rw-r--r-- | compiler/basicTypes/DataCon.hs | 11 |
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 |
