Mercurial > urweb
comparison src/explify.sml @ 621:8998114760c1
"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) |