diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-26 10:02:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 10:02:34 -0400 |
| commit | 1d4b2683a02155a474d79436247d8a1d293237ae (patch) | |
| tree | 205f8600aad0b2c149e08318f0e6cf64a1b26a67 /tests/cfold.lac | |
| parent | f362668549c8db401474c7be1e15cd9e156d0e91 (diff) | |
Cjrize cfold
Diffstat (limited to 'tests/cfold.lac')
| -rw-r--r-- | tests/cfold.lac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/cfold.lac b/tests/cfold.lac index 5eda74e9..03f4b695 100644 --- a/tests/cfold.lac +++ b/tests/cfold.lac @@ -8,3 +8,5 @@ val redCurry : redCurry = fn x : int => fn y : string => {} con yellowCurry = currier [A = string, B = int, C = float] val yellowCurry : yellowCurry = fn x => fn y => fn z => {} + +val main = yellowCurry |