#1456: Wrong type being derived
----------------------------------+-----------------------------------------
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone:
Component: Compiler | Version: 6.6.1
Severity: major | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
----------------------------------+-----------------------------------------
Changes (by igloo):
* owner: => simonpj
Comment:
With the HEAD and the binding uncommented I get:
{{{
foo :: (Zork t (Z [Char]) GHC.Prim.Any) =>
STRef t (Q t (Z [Char]) t1) -> ST t ()
}}}
Simon, can you confirm whether or not that's the expected behaviour
please?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1456>
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
