Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/monoize.sml	Tue Sep 02 13:09:54 2008 -0400
+++ b/src/monoize.sml	Tue Sep 02 13:44:54 2008 -0400
@@ -1417,6 +1417,7 @@
             let
                 val t = (L.CFfi ("Basis", "string"), loc)
                 val t' = (L'.TFfi ("Basis", "string"), loc)
+                val s = "lw_" ^ s
                 val e = (L'.EPrim (Prim.String s), loc)
 
                 val xts = map (fn (x, t) => (monoName env x, monoType env t)) xts