Mercurial > urweb
diff tests/efold.lac @ 74:144d082b47ae
Reduce efold
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 26 Jun 2008 12:12:06 -0400 |
| parents | 8b611ecc5f2d |
| children |
line wrap: on
line diff
--- a/tests/efold.lac Thu Jun 26 11:32:29 2008 -0400 +++ b/tests/efold.lac Thu Jun 26 12:12:06 2008 -0400 @@ -1,5 +1,5 @@ val currier : rs :: {Type} -> Cfold.currier rs = - fold [Cfold.currier] (fn nm :: Name => fn t :: Type => fn rest :: {Type} => fn acc => fn x => acc) {} + fold [Cfold.currier] (fn nm :: Name => fn t :: Type => fn rest :: {Type} => fn acc => fn x : t => acc) {} val greenCurry : Cfold.greenCurry = currier [Cfold.greenCurryIngredients] val redCurry : Cfold.redCurry = currier [Cfold.redCurryIngredients]