From 77790187bb1c1e0de956d4bbc7795678fb0c6544 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 26 Jun 2008 11:09:30 -0400 Subject: Elaborate efold --- tests/cfold.lac | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'tests/cfold.lac') diff --git a/tests/cfold.lac b/tests/cfold.lac index 03f4b695..0fcf9d60 100644 --- a/tests/cfold.lac +++ b/tests/cfold.lac @@ -1,12 +1,15 @@ con currier = fold (fn nm => fn t => fn acc => t -> acc) {} -con greenCurry = currier [] +con greenCurryIngredients :: {Type} = [] +con greenCurry = currier greenCurryIngredients val greenCurry : greenCurry = {} -con redCurry = currier [A = int, B = string] +con redCurryIngredients = [A = int, B = string] +con redCurry = currier redCurryIngredients val redCurry : redCurry = fn x : int => fn y : string => {} -con yellowCurry = currier [A = string, B = int, C = float] +con yellowCurryIngredients = [A = string, B = int, C = float] +con yellowCurry = currier yellowCurryIngredients val yellowCurry : yellowCurry = fn x => fn y => fn z => {} val main = yellowCurry -- cgit v1.2.3