diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-02-21 15:33:20 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-21 15:33:20 -0500 |
| commit | c40cb1851bc27f0a0a99648be21dacb821b65ed9 (patch) | |
| tree | 6ec268a6e7aaa927f41c76e354e78ca55585f69a /src/core_util.sml | |
| parent | 9f20d9299eab7caab6421860b6a54f831af73921 (diff) | |
"Hello world" compiles, after replacing type-level fold with map
Diffstat (limited to 'src/core_util.sml')
| -rw-r--r-- | src/core_util.sml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/core_util.sml b/src/core_util.sml index a222dca4..e76da387 100644 --- a/src/core_util.sml +++ b/src/core_util.sml @@ -178,11 +178,11 @@ fun compare ((c1, _), (c2, _)) = | (CConcat _, _) => LESS | (_, CConcat _) => GREATER - | (CFold (d1, r1), CFold (d2, r2)) => + | (CMap (d1, r1), CMap (d2, r2)) => join (Kind.compare (d1, r2), fn () => Kind.compare (r1, r2)) - | (CFold _, _) => LESS - | (_, CFold _) => GREATER + | (CMap _, _) => LESS + | (_, CMap _) => GREATER | (CUnit, CUnit) => EQUAL | (CUnit, _) => LESS @@ -261,12 +261,12 @@ fun mapfoldB {kind = fk, con = fc, bind} = S.map2 (mfc ctx c2, fn c2' => (CConcat (c1', c2'), loc))) - | CFold (k1, k2) => + | CMap (k1, k2) => S.bind2 (mfk k1, fn k1' => S.map2 (mfk k2, fn k2' => - (CFold (k1', k2'), loc))) + (CMap (k1', k2'), loc))) | CUnit => S.return2 cAll |