Comments, and a couple of asserts, only

[ghc-hetmet.git] / compiler / coreSyn / CoreUnfold.lhs
diff --git a/compiler/coreSyn/CoreUnfold.lhs b/compiler/coreSyn/CoreUnfold.lhs

index 4e8e5ef..45b8b92 100644 (file)
--- 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