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)) =