Type Families and defaults

[Mitar]

Hi!

I see here:

http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsStatus

That defaults in type families are not yet implemented. But how far is this?

And how far is overall implementation of this? There seems to be a lot
of open bugs around that? Are type families meant to be used or is
that still an experimental feature?

For example, I have problems type checking the attached code
(Test.hs). Is there a way to define a default function as I envisioned
it? Or is this just broken code? ;-)

It seems it is the later as also version with dependencies does not
work (Test2.hs).

Best regards


Mitar
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test.hs
Type: application/octet-stream
Size: 1249 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20100905/b504ee0c/Test.obj
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test2.hs
Type: application/octet-stream
Size: 1209 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20100905/b504ee0c/Test2.obj