[Haskell-cafe] Equality constraints in type families

Manuel M T Chakravarty chak at cse.unsw.edu.au
Sun Mar 30 23:05:21 EDT 2008


Hugo Pacheco:
> Anyway, do you think it is feasible to have a flag such as -fallow- 
> unsafe-type-families for users to use at their own risk? (supposing  
> we know how to guarantee these constraints).

Sorry, but it doesn't seem like a good idea to enable an unsound type  
system even by an explicit option.

Manuel



More information about the Haskell-Cafe mailing list