Mercurial > urweb

comparison src/monoize.sml @ 274:e4baf03a3a64

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Generating SQL files
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 13:44:54 -0400
parents 09c66a30ef32
children 286f734db702
comparison
equal deleted inserted replaced
273:09c66a30ef32 274:e4baf03a3a64
1415 end 1415 end
1416 | L.DTable (x, n, (L.CRecord (_, xts), _), s) => 1416 | L.DTable (x, n, (L.CRecord (_, xts), _), s) =>
1417 let 1417 let
1418 val t = (L.CFfi ("Basis", "string"), loc) 1418 val t = (L.CFfi ("Basis", "string"), loc)
1419 val t' = (L'.TFfi ("Basis", "string"), loc) 1419 val t' = (L'.TFfi ("Basis", "string"), loc)
1420 val s = "lw_" ^ s
1420 val e = (L'.EPrim (Prim.String s), loc) 1421 val e = (L'.EPrim (Prim.String s), loc)
1421 1422
1422 val xts = map (fn (x, t) => (monoName env x, monoType env t)) xts 1423 val xts = map (fn (x, t) => (monoName env x, monoType env t)) xts
1423 in 1424 in
1424 SOME (Env.pushENamed env x n t NONE s, 1425 SOME (Env.pushENamed env x n t NONE s,