#3193: line number for GADT type error is very inaccurate
-------------------------+--------------------------------------------------
Reporter: nr | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 6.12 branch
Component: Compiler | Version: 6.11
Severity: normal | Resolution: fixed
Keywords: GADTs | Difficulty: Unknown
Testcase: | Os: Linux
Architecture: x86 |
-------------------------+--------------------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => fixed
Comment:
I'm nearly certain I have fixed this bug:
{{{
Wed Jul 22 23:55:04 PDT 2009 [email protected]
* Fix Trac #3193: improve line number reporting for equality constraints
Ignore-this: b45a68071bcaca48cad7855dccb9c9eb
When reporting an error from a failed equality constraint, we were
setting the *context* but not the *line number* in
TcTyFuns.eqInstMisMatch
As a result, the line number didn't match the context at all. It's
trivial to fix.
I'm 99% certain this fixes #3193, but it's too complicated to
reproduce, so I have not actually tested it.
M ./compiler/typecheck/TcRnMonad.lhs -3 +3
M ./compiler/typecheck/TcSimplify.lhs -2 +2
M ./compiler/typecheck/TcTyFuns.lhs -2 +1
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3193#comment:2>
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
