view tests/cfold.ur @ 1238:d6938ab3b5ae

Get refurbished Iflow working with calendar
author Adam Chlipala <adamc@hcoop.net>
date Wed, 14 Apr 2010 09:18:16 -0400
parents 71bafe66dbe1
children
line wrap: on
line source
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