#5689: The 'impossible' happened: type-inference succeeds somehow in code which
isn't type-safe
---------------------------------+------------------------------------------
Reporter: nicolast | Owner:
Type: bug | Status: closed
Priority: normal | Component: Compiler (Type checker)
Version: 7.0.4 | Resolution: fixed
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Changes (by michalt):
* status: new => closed
* resolution: => fixed
Comment:
Thanks for reporting! This seems to be fixed in 7.2.2:
{{{
[1 of 1] Compiling Main ( Test.hs, Test.o )
Test.hs:14:15:
Couldn't match type `t' with `Bool'
In the first argument of `c', namely `True'
In the second argument of `($)', namely `c True'
In a stmt of a 'do' block: print $ c True
}}}
and in HEAD:
{{{
[1 of 1] Compiling Main ( Test.hs, Test.o )
Test.hs:10:28:
Couldn't match type `t' with `Bool'
In the expression: v
In the expression: if v then False else True
In the second argument of `writeIORef', namely
`(\ v -> if v then False else True)'
}}}
I don't think there'll be any more 7.0.x releases, so I'm closing.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5689#comment:1>
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
