From 447b60afccc89ef18d8f92a260dd1fcdf735898e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 31 Aug 2008 08:32:18 -0400 Subject: Laconic -> Ur --- tests/cfold.ur | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 tests/cfold.ur (limited to 'tests/cfold.ur') diff --git a/tests/cfold.ur b/tests/cfold.ur new file mode 100644 index 00000000..0fcf9d60 --- /dev/null +++ b/tests/cfold.ur @@ -0,0 +1,15 @@ +con currier = fold (fn nm => fn t => fn acc => t -> acc) {} + +con greenCurryIngredients :: {Type} = [] +con greenCurry = currier greenCurryIngredients +val greenCurry : greenCurry = {} + +con redCurryIngredients = [A = int, B = string] +con redCurry = currier redCurryIngredients +val redCurry : redCurry = fn x : int => fn y : string => {} + +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