X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FDesugar.lhs;h=64fff0d0129fe1d34798e3e7f96b87ad7ebe0c2f;hb=d4f4391a030e683572eee01291cc8bc6203dbf5d;hp=7e284ae9496cc0255185be0f9decd480e61c1978;hpb=72462499b891d5779c19f3bda03f96e24f9554ae;p=ghc-hetmet.git diff --git a/compiler/deSugar/Desugar.lhs b/compiler/deSugar/Desugar.lhs index 7e284ae..64fff0d 100644 --- a/compiler/deSugar/Desugar.lhs +++ b/compiler/deSugar/Desugar.lhs @@ -28,7 +28,7 @@ import Module import RdrName import NameSet import Rules -import CoreMonad ( endPass ) +import CoreMonad ( endPass, CoreToDo(..) ) import ErrUtils import Outputable import SrcLoc @@ -114,7 +114,7 @@ deSugar hsc_env -- things into the in-scope set before simplifying; so we get no unfolding for F#! -- Lint result if necessary - ; endPass dflags "Desugar" Opt_D_dump_ds ds_binds ds_rules + ; endPass dflags CoreDesugar ds_binds ds_rules -- Dump output ; doIfSet (dopt Opt_D_dump_ds dflags) @@ -280,6 +280,6 @@ For the LHS of a RULE we do *not* want to desugar [x] to build (\cn. x `c` n) We want to leave explicit lists simply as chains of cons's. We can achieve that slightly indirectly by -switching off EnableRewriteRules. +switching off EnableRewriteRules. See DsExpr.dsExplicitList. That keeps the desugaring of list comprehensions simple too.