annotate tests/cfold.ur @ 2174:ce312cad5ecd

Use correct OpenSSL thread safety macros on OS X (closes #209) Create an Autoconf test to determine if pthread_t is a pointer or scalar type, and use the appropriate CRYPTO_THREADID_set macro based on the result.
author Benjamin Barenblat <bbaren at mit.edu>
date Sun, 20 Sep 2015 17:46:07 -0400
parents 71bafe66dbe1
children
rev   line source
adamc@67 1 con currier = fold (fn nm => fn t => fn acc => t -> acc) {}
adamc@67 2
adamc@71 3 con greenCurryIngredients :: {Type} = []
adamc@71 4 con greenCurry = currier greenCurryIngredients
adamc@67 5 val greenCurry : greenCurry = {}
adamc@67 6
adamc@71 7 con redCurryIngredients = [A = int, B = string]
adamc@71 8 con redCurry = currier redCurryIngredients
adamc@67 9 val redCurry : redCurry = fn x : int => fn y : string => {}
adamc@67 10
adamc@71 11 con yellowCurryIngredients = [A = string, B = int, C = float]
adamc@71 12 con yellowCurry = currier yellowCurryIngredients
adamc@67 13 val yellowCurry : yellowCurry = fn x => fn y => fn z => {}
adamc@70 14
adamc@70 15 val main = yellowCurry