Mercurial > urweb

diff src/explify.sml @ 621:8998114760c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
"Hello world" compiles, after replacing type-level fold with map
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Feb 2009 15:33:20 -0500
parents 44958d74c43f
children 588b9d16b00a
line wrap: on
line diff
--- a/src/explify.sml	Sat Feb 21 14:10:06 2009 -0500
+++ b/src/explify.sml	Sat Feb 21 15:33:20 2009 -0500
@@ -63,7 +63,7 @@
 
       | L.CRecord (k, xcs) => (L'.CRecord (explifyKind k, map (fn (c1, c2) => (explifyCon c1, explifyCon c2)) xcs), loc)
       | L.CConcat (c1, c2) => (L'.CConcat (explifyCon c1, explifyCon c2), loc)
-      | L.CFold (dom, ran) => (L'.CFold (explifyKind dom, explifyKind ran), loc)
+      | L.CMap (dom, ran) => (L'.CMap (explifyKind dom, explifyKind ran), loc)
 
       | L.CUnit => (L'.CUnit, loc)