projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
a769050
)
White space only
author
simonpj@microsoft.com
<unknown>
Sun, 19 Oct 2008 23:33:52 +0000
(23:33 +0000)
committer
simonpj@microsoft.com
<unknown>
Sun, 19 Oct 2008 23:33:52 +0000
(23:33 +0000)
compiler/basicTypes/MkId.lhs
patch
|
blob
|
history
diff --git
a/compiler/basicTypes/MkId.lhs
b/compiler/basicTypes/MkId.lhs
index
ae2d837
..
be83835
100644
(file)
--- a/
compiler/basicTypes/MkId.lhs
+++ b/
compiler/basicTypes/MkId.lhs
@@
-294,7
+294,8
@@
mkDataConIds wrap_name wkr_name data_con
id_arg1 = mkTemplateLocal 1
(if null orig_arg_tys
id_arg1 = mkTemplateLocal 1
(if null orig_arg_tys
- then ASSERT(not (null $ dataConDictTheta data_con)) mkPredTy $ head (dataConDictTheta data_con)
+ then ASSERT(not (null $ dataConDictTheta data_con))
+ mkPredTy $ head (dataConDictTheta data_con)
else head orig_arg_tys
)
else head orig_arg_tys
)
@@
-335,12
+336,12
@@
mkDataConIds wrap_name wkr_name data_con
-- we want to see that w is strict in its two arguments
wrap_unf = mkImplicitUnfolding $ Note InlineMe $
-- we want to see that w is strict in its two arguments
wrap_unf = mkImplicitUnfolding $ Note InlineMe $
- mkLams wrap_tvs $
- mkLams eq_args $
- mkLams dict_args $ mkLams id_args $
- foldr mk_case con_app
- (zip (dict_args ++ id_args) all_strict_marks)
- i3 []
+ mkLams wrap_tvs $
+ mkLams eq_args $
+ mkLams dict_args $ mkLams id_args $
+ foldr mk_case con_app
+ (zip (dict_args ++ id_args) all_strict_marks)
+ i3 []
con_app _ rep_ids = wrapFamInstBody tycon res_ty_args $
Var wrk_id `mkTyApps` res_ty_args
con_app _ rep_ids = wrapFamInstBody tycon res_ty_args $
Var wrk_id `mkTyApps` res_ty_args