Mercurial > urweb

comparison src/corify.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents 9864b64b1700
children 7f653298dd66
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
990 val (st, n) = St.bindVal st x n 990 val (st, n) = St.bindVal st x n
991 val s = relify (doRestify (mods, x)) 991 val s = relify (doRestify (mods, x))
992 in 992 in
993 ([(L'.DSequence (x, n, s), loc)], st) 993 ([(L'.DSequence (x, n, s), loc)], st)
994 end 994 end
995 | L.DView (_, x, n, e, c) =>
996 let
997 val (st, n) = St.bindVal st x n
998 val s = relify (doRestify (mods, x))
999 in
1000 ([(L'.DView (x, n, s, corifyExp st e, corifyCon st c), loc)], st)
1001 end
995 1002
996 | L.DDatabase s => ([(L'.DDatabase s, loc)], st) 1003 | L.DDatabase s => ([(L'.DDatabase s, loc)], st)
997 1004
998 | L.DCookie (_, x, n, c) => 1005 | L.DCookie (_, x, n, c) =>
999 let 1006 let
1061 | L.DStr (_, n', _, str) => Int.max (n, Int.max (n', maxNameStr str)) 1068 | L.DStr (_, n', _, str) => Int.max (n, Int.max (n', maxNameStr str))
1062 | L.DFfiStr (_, n', _) => Int.max (n, n') 1069 | L.DFfiStr (_, n', _) => Int.max (n, n')
1063 | L.DExport _ => n 1070 | L.DExport _ => n
1064 | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n') 1071 | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n')
1065 | L.DSequence (_, _, n') => Int.max (n, n') 1072 | L.DSequence (_, _, n') => Int.max (n, n')
1073 | L.DView (_, _, n', _, _) => Int.max (n, n')
1066 | L.DDatabase _ => n 1074 | L.DDatabase _ => n
1067 | L.DCookie (_, _, n', _) => Int.max (n, n') 1075 | L.DCookie (_, _, n', _) => Int.max (n, n')
1068 | L.DStyle (_, _, n') => Int.max (n, n')) 1076 | L.DStyle (_, _, n') => Int.max (n, n'))
1069 0 ds 1077 0 ds
1070 1078