Re[2]: Name discussion for new primtive

From: . <>
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==Green) =:= False
although it seems obvious that x of type Color can be either Red or

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 ?


curry mailing list
Received on Mi Dez 08 2004 - 18:40:49 CET

This archive was generated by hypermail 2.3.0 : Sa Apr 13 2024 - 07:15:07 CEST