diff options
Diffstat (limited to 'tests/cfold.ur')
-rw-r--r-- | tests/cfold.ur | 15 |
1 files changed, 15 insertions, 0 deletions
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 |