X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2FsimplCore%2FSimplify.lhs;h=b0718e439ba2ada44a88e5662a94ce977032da42;hb=470ff37b766d27ed4c62cf31e37c576105a19bc4;hp=d2f3d965f8d49eeb2c94b10fa63d392478eeff88;hpb=b29550df55693d3b6a2bd36b4852825ba3825740;p=ghc-hetmet.git diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs index d2f3d96..b0718e4 100644 --- a/compiler/simplCore/Simplify.lhs +++ b/compiler/simplCore/Simplify.lhs @@ -562,7 +562,7 @@ makeTrivialWithInfo top_lvl env info expr expr_ty = exprType expr bindingOk :: TopLevelFlag -> CoreExpr -> Type -> Bool --- True iff we can have a binding of this expression at this leve +-- True iff we can have a binding of this expression at this level -- Precondition: the type is the type of the expression bindingOk top_lvl _ expr_ty | isTopLevel top_lvl = not (isUnLiftedType expr_ty)