#345: GADT - fundep interaction
-------------------------------------+--------------------------------------
Reporter: bring | Owner: simonpj
Type: bug | Status: assigned
Priority: normal | Milestone: 6.8
Component: Compiler (Type checker) | Version: 6.4
Severity: normal | Resolution: None
Keywords: | Difficulty: Unknown
Testcase: gadt-fd | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Comment (by jyrinx):
GHC doesn't even like the first clause nowadays. Sez version 6.7.20070224:
{{{
Couldn't match expected type `z' (a rigid variable)
against inferred type `y' (a rigid variable)
`z' is bound by the type signature for `append' at Bug345.hs:16:19
`y' is bound by the type signature for `append' at Bug345.hs:16:17
Expected type: List a z
Inferred type: List a y
In the expression: ys
In the definition of `append': append Nil ys = ys
}}}
(I did have to compile with -fallow-undecidable-instances, though.)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/345>
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
