16 Jan
2008
16 Jan
'08
5:55 a.m.
On Wed, Jan 16, 2008 at 01:02:43PM +0800, Martin Sulzmann wrote:
Bruno Oliveira writes:
I have been playing with ghc6.8.1 and type families and the following program is accepted without any type-checking error:
data a :=: b where Eq :: a :=: a ... Ofcourse, that before ghc6.8, we add no type-level functions so maybe it was ok to consider the program above. ... type family K a
Type families are unsupported, and their intersection with GADTs are unimplemented. Don't expect any program which uses both to do anything sane until 6.10. Stefan