projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4cb651) | patch
Fix Trac #3193: improve line number reporting for equality constraints
authorsimonpj@microsoft.com <unknown>
Thu, 23 Jul 2009 06:55:04 +0000 (06:55 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 23 Jul 2009 06:55:04 +0000 (06:55 +0000)
commit9091712c838f741b0b9407c4f25600b40e5705b5
treeb01910048ddc27c957b2eab68e99c5535773fdc6tree | snapshot
parenta4cb65161fd2c34e4455985490220bdf5d30cbe5commit | diff
Fix Trac #3193: improve line number reporting for equality constraints

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.
compiler/typecheck/TcRnMonad.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)