[project @ 2001-07-13 13:29:56 by simonpj]
authorsimonpj <unknown>
Fri, 13 Jul 2001 13:29:58 +0000 (13:29 +0000)
committersimonpj <unknown>
Fri, 13 Jul 2001 13:29:58 +0000 (13:29 +0000)
commitd4e38936bf64bcd3dc301ec404406bbff20f01d5
tree27130130660c70a996b20671fcf16a3c92ae5459
parentb5f35df4b62d6bf878e1f63ee879871e56716b9e
[project @ 2001-07-13 13:29:56 by simonpj]
------------------------------------
Tidy up the "syntax rebinding" story
------------------------------------

I found a bug in the code that dealt with re-binding implicit
numerical syntax:
literals  (fromInteger/fromRational)
negation (negate)
n+k patterns (minus)

This is triggered by the -fno-implicit-prelude flag, and it
used to be handled via the PrelNames.SyntaxMap.

But I found a nicer way to do it that involves much less code,
and doesn't have the bug.  The explanation is with
RnEnv.lookupSyntaxName
17 files changed:
ghc/compiler/hsSyn/HsExpr.lhs
ghc/compiler/hsSyn/HsLit.lhs
ghc/compiler/hsSyn/HsPat.lhs
ghc/compiler/main/HscMain.lhs
ghc/compiler/parser/ParseUtil.lhs
ghc/compiler/parser/Parser.y
ghc/compiler/parser/RdrHsSyn.lhs
ghc/compiler/prelude/PrelNames.lhs
ghc/compiler/rename/Rename.lhs
ghc/compiler/rename/RnEnv.lhs
ghc/compiler/rename/RnExpr.lhs
ghc/compiler/typecheck/Inst.lhs
ghc/compiler/typecheck/TcEnv.lhs
ghc/compiler/typecheck/TcExpr.lhs
ghc/compiler/typecheck/TcHsSyn.lhs
ghc/compiler/typecheck/TcModule.lhs
ghc/compiler/typecheck/TcPat.lhs