diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-14 17:48:42 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-15 15:43:45 -0500 |
| commit | 3c6635ef4561ab53e51d7187c966b628a972b261 (patch) | |
| tree | c3c39d7f5a54c187a965918126590584ab31d3b9 /compiler/main | |
| parent | 80b4c71c5fc8ae005f6fb73d900b225366c4d3cc (diff) | |
| download | haskell-3c6635ef4561ab53e51d7187c966b628a972b261.tar.gz | |
Fix #11405.
This adds a new variant of AbsBinds that is used solely for bindings
with a type signature. This allows for a simpler desugaring that
does not produce the bogus output that tripped up Core Lint in
ticket #11405. Should make other desugarings simpler, too.
Diffstat (limited to 'compiler/main')
| -rw-r--r-- | compiler/main/DynFlags.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index 8f490634d4..2a27bdaca9 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -390,7 +390,7 @@ data GeneralFlag | Opt_PrintUnicodeSyntax | Opt_PrintExpandedSynonyms | Opt_PrintPotentialInstances - | Opt_PrintTypechekerElaboration + | Opt_PrintTypecheckerElaboration -- optimisation opts | Opt_CallArity @@ -3047,7 +3047,7 @@ fFlags = [ flagSpec "print-unicode-syntax" Opt_PrintUnicodeSyntax, flagSpec "print-expanded-synonyms" Opt_PrintExpandedSynonyms, flagSpec "print-potential-instances" Opt_PrintPotentialInstances, - flagSpec "print-typechecker-elaboration" Opt_PrintTypechekerElaboration, + flagSpec "print-typechecker-elaboration" Opt_PrintTypecheckerElaboration, flagSpec "prof-cafs" Opt_AutoSccsOnIndividualCafs, flagSpec "prof-count-entries" Opt_ProfCountEntries, flagSpec "regs-graph" Opt_RegsGraph, |