[Uhc-users] UHC - Arrow Syntax, type families

[Atze Dijkstra]

Hi Nathan,

top priority for UHC is currently type families (and GADT, etc), as other users of UHC run into the same limitation(s), that is, many libraries use type families (or older variations thereof). No promises however on the timeframe this will be available :-).

regards,
Atze

On  12 Apr, 2012, at 10:11 , Nathan Hüsken wrote:

> Hey,
> 
> I attempted to use a FRP library in UHC.
>> From the eMail exchange on the beginners haskell mailinglist, it seems
> that it is going to be difficult because UHC does not support arrow
> syntax and type families.
> Are these features planned, will UHC ever support them?
> Thanks!
> Nathan
> _______________________________________________
> Uhc-users mailing list
> Uhc-users at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/uhc-users


                - Atze -

Atze Dijkstra, Department of Information and Computing Sciences. /|\
Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \
Tel.: +31-30-2534118/1454 | WWW  : http://www.cs.uu.nl/~atze . /--|  \
Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... /   |___\