diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 16:53:13 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 16:53:13 +0000 |
| commit | c94408e522e5af3b79a5beadc7e6d15cee553ee7 (patch) | |
| tree | 4a8b66be434a2e6f61922262c8550c6af49c914d /compiler/stranal | |
| parent | 3e83dfb21b2f2220dce97427fff5c19459ae68d1 (diff) | |
| download | haskell-c94408e522e5af3b79a5beadc7e6d15cee553ee7.tar.gz | |
newtype fixes, coercions for non-recursive newtypes now optional
Mon Sep 18 14:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype fixes, coercions for non-recursive newtypes now optional
Sat Aug 5 21:19:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* newtype fixes, coercions for non-recursive newtypes now optional
Fri Jul 7 06:11:48 EDT 2006 kevind@bu.edu
Diffstat (limited to 'compiler/stranal')
| -rw-r--r-- | compiler/stranal/DmdAnal.lhs | 7 | ||||
| -rw-r--r-- | compiler/stranal/WwLib.lhs | 1 |
2 files changed, 4 insertions, 4 deletions
diff --git a/compiler/stranal/DmdAnal.lhs b/compiler/stranal/DmdAnal.lhs index 3fc84773af..6adda66ed5 100644 --- a/compiler/stranal/DmdAnal.lhs +++ b/compiler/stranal/DmdAnal.lhs @@ -171,9 +171,10 @@ dmdAnal sigs dmd (Cast e co) (dmd_ty, e') = dmdAnal sigs dmd' e to_co = snd (coercionKind co) dmd' - | Just (tc, args) <- splitTyConApp_maybe to_co - , isRecursiveTyCon tc = evalDmd - | otherwise = dmd +-- | Just (tc, args) <- splitTyConApp_maybe to_co + = evalDmd +-- , isRecursiveTyCon tc = evalDmd +-- | otherwise = dmd -- This coerce usually arises from a recursive -- newtype, and we don't want to look inside them -- for exactly the same reason that we don't look diff --git a/compiler/stranal/WwLib.lhs b/compiler/stranal/WwLib.lhs index f3af6f0395..c4e78ebec4 100644 --- a/compiler/stranal/WwLib.lhs +++ b/compiler/stranal/WwLib.lhs @@ -240,7 +240,6 @@ mkWWargs fun_ty demands one_shots \ e -> Cast (wrap_fn_args e) co, \ e -> work_fn_args (Cast e (mkSymCoercion co)), res_ty) - | notNull demands = getUniquesUs `thenUs` \ wrap_uniqs -> let |