diff options
| author | simonpj@microsoft.com <unknown> | 2008-09-14 11:46:41 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-09-14 11:46:41 +0000 |
| commit | 109eb1e9f31cc9fbec194dcc9cfd732d990c2678 (patch) | |
| tree | 6d319df811d90087412608663a2195e618150e3c /compiler/coreSyn | |
| parent | 7c0bfc36a39ab8e181cca97be3e5b21dda9be0cb (diff) | |
| download | haskell-109eb1e9f31cc9fbec194dcc9cfd732d990c2678.tar.gz | |
Comments, and a couple of asserts, only
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreUnfold.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreUnfold.lhs b/compiler/coreSyn/CoreUnfold.lhs index 4e8e5ef982..45b8b92776 100644 --- a/compiler/coreSyn/CoreUnfold.lhs +++ b/compiler/coreSyn/CoreUnfold.lhs @@ -799,8 +799,9 @@ simpleOptExpr subst expr ---------------------- go_nonrec subst b (Type ty') body | isTyVar b = go (extendTvSubst subst b ty') body + -- let a::* = TYPE ty in <body> go_nonrec subst b r' body - | isId b + | isId b -- let x = e in <body> , exprIsTrivial r' || safe_to_inline (idOccInfo b) = go (extendIdSubst subst b r') body go_nonrec subst b r' body |