#2296: Functional dependencies error message has no position information
-----------------------------+----------------------------------------------
Reporter: NeilMitchell | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.8.2 | Severity: minor
Keywords: | Testcase:
Architecture: Unknown | Os: Unknown
-----------------------------+----------------------------------------------
When compiling the attached file (sorry its really long, it could easily
be reduced to a minimal test case - although I don't think its necessary
to fix the bug), I get the error message:
{{{
E:\Neil\thesis\obj\haskell2/Proof_default.hs:1:0:
Couldn't match expected type `Expr' against inferred type `VarName'
Expected type: ([Expr], [Expr])
Inferred type: ([VarName], a)
When using functional dependencies to combine
Subst (Prop (Sat VarName)) ([VarName], a) (Prop (Sat Expr)),
arising from a use of `/'
at
E:\Neil\thesis\obj\haskell2/Proof_default.hs:391:17-54
Subst (Prop (Sat Expr)) ([Expr], [Expr]) (Prop (Sat Expr)),
arising from a use of `/'
at
E:\Neil\thesis\obj\haskell2/Proof_default.hs:399:17-44
}}}
The error message lists two positions further down, but gives no position
(or 1:0) at the top of the message. One of the positions from further down
should be given - either one would do - otherwise the user may miss that
there is position information available (I did at first).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2296>
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
