#1456: Wrong type being derived
----------------------------------+-----------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: high | Milestone:
Component: Compiler | Version: 6.6.1
Severity: major | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
----------------------------------+-----------------------------------------
Comment (by from an irc discussion):
<Heffalump> ahah, here's some interesting behaviour
<Heffalump> instance Zork s (Z [Char]) Int
<Heffalump> stick that in the same module as your code, and it
type checks fine.
Heffalump> stick it in a different module and import your
existing one, and looking at type of foo results in
a type error
--
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
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
