Mercurial > urweb

comparison src/cloconv.sml @ 94:40d146f467c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoizing cdata
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:39:17 -0400
parents 144d082b47ae
children dcc5dda1645c
comparison
equal deleted inserted replaced
93:94afff1ff7f6 94:40d146f467c5
183 val (e1, D) = ccExp env (e1, D) 183 val (e1, D) = ccExp env (e1, D)
184 in 184 in
185 ((L'.EField (e1, x), loc), D) 185 ((L'.EField (e1, x), loc), D)
186 end 186 end
187 187
188 | L.EStrcat _ => raise Fail "Cloconv EStrcat"
189
188 fun ccDecl ((d, loc), D) = 190 fun ccDecl ((d, loc), D) =
189 case d of 191 case d of
190 L.DVal (x, n, t, e) => 192 L.DVal (x, n, t, e) =>
191 let 193 let
192 val t = ccTyp t 194 val t = ccTyp t