[Uhc-users] UHC - Arrow Syntax, type families
atze at uu.nl
Thu Apr 12 14:55:47 CEST 2012
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 :-).
On 12 Apr, 2012, at 10:11 , Nathan Hüsken wrote:
> 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?
> Uhc-users mailing list
> Uhc-users at lists.science.uu.nl
- 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 ............... / |___\
More information about the Uhc-users