Mercurial > urweb

comparison src/corify.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 3aa010e97db9
children b6b75e6e0898
comparison
equal deleted inserted replaced
246:3aa010e97db9 247:5c50b17f5e4a
804 (ds, st) 804 (ds, st)
805 end 805 end
806 end 806 end
807 | _ => raise Fail "Non-const signature for 'export'") 807 | _ => raise Fail "Non-const signature for 'export'")
808 808
809 | L.DTable _ => raise Fail "Corify DTable" 809 | L.DTable (_, x, n, c) =>
810 let
811 val (st, n) = St.bindVal st x n
812 val s = x
813 in
814 ([(L'.DTable (x, n, corifyCon st c, s), loc)], st)
815 end
810 816
811 and corifyStr ((str, _), st) = 817 and corifyStr ((str, _), st) =
812 case str of 818 case str of
813 L.StrConst ds => 819 L.StrConst ds =>
814 let 820 let