Commit 6d0a6464 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-04-04 13:26:59 by simonpj]

Wibble: invert sense of test
parent 01cfd4cf
......@@ -368,7 +368,7 @@ tcOverloadedLit :: InstOrigin
-> TcType
-> TcM (HsOverLit TcId)
tcOverloadedLit orig lit@(HsIntegral i fi) expected_ty
| fi `isHsVar` fromIntegerName -- Do not generate a LitInst for rebindable syntax.
| not (fi `isHsVar` fromIntegerName) -- Do not generate a LitInst for rebindable syntax.
-- Reason: If we do, tcSimplify will call lookupInst, which
-- will call tcSyntaxName, which does unification,
-- which tcSimplify doesn't like
......@@ -385,7 +385,7 @@ tcOverloadedLit orig lit@(HsIntegral i fi) expected_ty
; return (HsIntegral i expr) }
tcOverloadedLit orig lit@(HsFractional r fr) expected_ty
| fr `isHsVar` fromRationalName -- c.f. HsIntegral case
| not (fr `isHsVar` fromRationalName) -- c.f. HsIntegral case
= do { rat_ty <- tcMetaTy rationalTyConName
; fr' <- tcSyntaxOp orig fr (mkFunTy rat_ty expected_ty)
; return (HsFractional r (HsApp (noLoc fr') (nlHsLit (HsRat r rat_ty)))) }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment