Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
620:d828b143e147 621:8998114760c1
61 61
62 | L.CName s => (L'.CName s, loc) 62 | L.CName s => (L'.CName s, loc)
63 63
64 | L.CRecord (k, xcs) => (L'.CRecord (explifyKind k, map (fn (c1, c2) => (explifyCon c1, explifyCon c2)) xcs), loc) 64 | L.CRecord (k, xcs) => (L'.CRecord (explifyKind k, map (fn (c1, c2) => (explifyCon c1, explifyCon c2)) xcs), loc)
65 | L.CConcat (c1, c2) => (L'.CConcat (explifyCon c1, explifyCon c2), loc) 65 | L.CConcat (c1, c2) => (L'.CConcat (explifyCon c1, explifyCon c2), loc)
66 | L.CFold (dom, ran) => (L'.CFold (explifyKind dom, explifyKind ran), loc) 66 | L.CMap (dom, ran) => (L'.CMap (explifyKind dom, explifyKind ran), loc)
67 67
68 | L.CUnit => (L'.CUnit, loc) 68 | L.CUnit => (L'.CUnit, loc)
69 69
70 | L.CTuple cs => (L'.CTuple (map explifyCon cs), loc) 70 | L.CTuple cs => (L'.CTuple (map explifyCon cs), loc)
71 | L.CProj (c, n) => (L'.CProj (explifyCon c, n), loc) 71 | L.CProj (c, n) => (L'.CProj (explifyCon c, n), loc)