#1606: excessively long, redundant, compile-error-message contexts
-----------------------------+----------------------------------------------
Reporter: Isaac Dupree | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.6.1
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase: tcfail185
Architecture: Unknown |
-----------------------------+----------------------------------------------
Comment (by Isaac Dupree):
Much better! For comparison, here is the new output from the same source-
file.
{{{
IntegerInTermsOfInt.hs:2233:5:
Couldn't match expected type `DInt -> DInt -> DInt -> [DInt]'
against inferred type `[DInt]'
In the expression:
let
n1 = isNegativeInteger i1
n2 = isNegativeInteger i2
nf = n1 `signOp` n2
....
in fi i1 i2 (dNat (0)) (dNat (0)) (dNat (0))
In the expression:
\ i1 i2
-> let
n1 = ...
....
in fi i1 i2 (dNat (0)) (dNat (0)) (dNat (0))
In the definition of `tcBinOpInteger':
tcBinOpInteger op signOp endOpWithNat endOpWithNeg
= \ i1 i2 -> let ... in fi i1 i2 (dNat (0)) (dNat
(0)) (dNat (0))
}}}
(And, well, if the fix is imperfect such that any particularly important
information is left out in some cases due to the change, I'm sure we'll
hear a bug report about that then)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1606>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
