#1795: typechecker loops on simple program with fundep
-------------------------+--------------------------------------------------
Reporter: guest | Owner: simonpj
Type: bug | Status: closed
Priority: normal | Milestone: 6.8.1
Component: Compiler | Version: 6.8
Severity: major | Resolution: fixed
Keywords: | Difficulty: Unknown
Os: Multiple | Testcase: FD3
Architecture: x86 |
-------------------------+--------------------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => fixed
Comment:
Fixed! The error message is different than before:
{{{
FD3.hs:22:14:
Could not deduce (MkA (String, a) a) from the context ()
arising from a use of `mkA' at FD3.hs:22:14-18
}}}
but it's still reasonable.
Patch is this one:
{{{
Sat Oct 27 16:54:59 GMT Daylight Time 2007 [EMAIL PROTECTED]
* Make 'improvement' work properly in TcSimplify
}}}
Thanks Ganesh!
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1795#comment:5>
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
