[Haskell] Should the following program be accepted by ghc?

[Stefan O'Rear]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell/attachments/20080115/ea9986c4/attachment.bin