Mercurial > urweb

comparison src/monoize.sml @ 247:5c50b17f5e4a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify tables
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 09:00:28 -0400
parents 766b5475477f
children 326fb4686f60
comparison
equal deleted inserted replaced
246:3aa010e97db9 247:5c50b17f5e4a
807 807
808 val ts = map (monoType env) (unwind t) 808 val ts = map (monoType env) (unwind t)
809 in 809 in
810 SOME (env, fm, (L'.DExport (ek, s, n, ts), loc)) 810 SOME (env, fm, (L'.DExport (ek, s, n, ts), loc))
811 end 811 end
812 | L.DTable _ => raise Fail "Monoize DTable"
812 end 813 end
813 814
814 fun monoize env ds = 815 fun monoize env ds =
815 let 816 let
816 val (_, _, ds) = List.foldl (fn (d, (env, fm, ds)) => 817 val (_, _, ds) = List.foldl (fn (d, (env, fm, ds)) =>