Mercurial > urweb
comparison src/monoize.sml @ 69:8e9920db39f2
Corify cfold
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 26 Jun 2008 09:53:52 -0400 |
parents | 92361a008a10 |
children | 8b611ecc5f2d |
comparison
equal
deleted
inserted
replaced
68:c1e21ab42896 | 69:8e9920db39f2 |
---|---|
69 | 69 |
70 | L.CName _ => poly () | 70 | L.CName _ => poly () |
71 | 71 |
72 | L.CRecord _ => poly () | 72 | L.CRecord _ => poly () |
73 | L.CConcat _ => poly () | 73 | L.CConcat _ => poly () |
74 | L.CFold _ => poly () | |
74 end | 75 end |
75 | 76 |
76 val dummyExp = (L'.EPrim (Prim.Int 0), E.dummySpan) | 77 val dummyExp = (L'.EPrim (Prim.Int 0), E.dummySpan) |
77 | 78 |
78 fun monoExp env (all as (e, loc)) = | 79 fun monoExp env (all as (e, loc)) = |