Mercurial > urweb

comparison src/corify.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 803b2f3bb86b
children 588b9d16b00a
comparison
equal deleted inserted replaced
620:d828b143e147 621:8998114760c1
471 | L.CName s => (L'.CName s, loc) 471 | L.CName s => (L'.CName s, loc)
472 472
473 | L.CRecord (k, xcs) => 473 | L.CRecord (k, xcs) =>
474 (L'.CRecord (corifyKind k, map (fn (c1, c2) => (corifyCon st c1, corifyCon st c2)) xcs), loc) 474 (L'.CRecord (corifyKind k, map (fn (c1, c2) => (corifyCon st c1, corifyCon st c2)) xcs), loc)
475 | L.CConcat (c1, c2) => (L'.CConcat (corifyCon st c1, corifyCon st c2), loc) 475 | L.CConcat (c1, c2) => (L'.CConcat (corifyCon st c1, corifyCon st c2), loc)
476 | L.CFold (k1, k2) => (L'.CFold (corifyKind k1, corifyKind k2), loc) 476 | L.CMap (k1, k2) => (L'.CMap (corifyKind k1, corifyKind k2), loc)
477 | L.CUnit => (L'.CUnit, loc) 477 | L.CUnit => (L'.CUnit, loc)
478 478
479 | L.CTuple cs => (L'.CTuple (map (corifyCon st) cs), loc) 479 | L.CTuple cs => (L'.CTuple (map (corifyCon st) cs), loc)
480 | L.CProj (c, n) => (L'.CProj (corifyCon st c, n), loc) 480 | L.CProj (c, n) => (L'.CProj (corifyCon st c, n), loc)
481 481