Re[2]: Name discussion for new primtive

From: . <aik_at_fryazino.net>
Date: Wed, 08 Dec 2004 18:56:33 +0300

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 Wed Dec 08 2004 - 18:40:49 CET

This archive was generated by hypermail 2.3.0 : Mon Nov 18 2019 - 07:15:05 CET