Mercurial > urweb

comparison src/monoize.sml @ 271:42dfb0d61cf0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'database' declaration threaded through compiler
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 10:51:41 -0400
parents bacd0ba869e1
children 09c66a30ef32
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
1421 in 1421 in
1422 SOME (Env.pushENamed env x n t NONE s, 1422 SOME (Env.pushENamed env x n t NONE s,
1423 fm, 1423 fm,
1424 (L'.DVal (x, n, t', e, s), loc)) 1424 (L'.DVal (x, n, t', e, s), loc))
1425 end 1425 end
1426 | L.DDatabase s => SOME (env, fm, (L'.DDatabase s, loc))
1426 end 1427 end
1427 1428
1428 fun monoize env ds = 1429 fun monoize env ds =
1429 let 1430 let
1430 val (_, _, ds) = List.foldl (fn (d, (env, fm, ds)) => 1431 val (_, _, ds) = List.foldl (fn (d, (env, fm, ds)) =>