When I tried to write my first program in Curry, I've stumbled over
strange effect: MCC can not evaluate
data Color = Red | Green
x::Color
(x==Green) =:= False
although it seems obvious that x of type Color can be either Red or
Green.
Is it possible to augment Curry with syntactic feature similar to
"deriving" - when I define "augmented" Enum type, Curry automatically
"forks" on each variable of that type to detect all applicable
solutions ?
Igor
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Dez 08 2004 - 18:40:49 CET