Mercurial > urweb

comparison src/mono_shake.sml @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 09c66a30ef32
children 162d5308e34f
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
53 (cdef, IM.insert (edef, n, (t, e))) 53 (cdef, IM.insert (edef, n, (t, e)))
54 | ((DValRec vis, _), (cdef, edef)) => 54 | ((DValRec vis, _), (cdef, edef)) =>
55 (cdef, foldl (fn ((_, n, t, e, _), edef) => IM.insert (edef, n, (t, e))) edef vis) 55 (cdef, foldl (fn ((_, n, t, e, _), edef) => IM.insert (edef, n, (t, e))) edef vis)
56 | ((DExport _, _), acc) => acc 56 | ((DExport _, _), acc) => acc
57 | ((DTable _, _), acc) => acc 57 | ((DTable _, _), acc) => acc
58 | ((DSequence _, _), acc) => acc
58 | ((DDatabase _, _), acc) => acc) 59 | ((DDatabase _, _), acc) => acc)
59 (IM.empty, IM.empty) file 60 (IM.empty, IM.empty) file
60 61
61 fun typ (c, s) = 62 fun typ (c, s) =
62 case c of 63 case c of
108 List.filter (fn (DDatatype (_, n, _), _) => IS.member (#con s, n) 109 List.filter (fn (DDatatype (_, n, _), _) => IS.member (#con s, n)
109 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n) 110 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n)
110 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis 111 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis
111 | (DExport _, _) => true 112 | (DExport _, _) => true
112 | (DTable _, _) => true 113 | (DTable _, _) => true
114 | (DSequence _, _) => true
113 | (DDatabase _, _) => true) file 115 | (DDatabase _, _) => true) file
114 end 116 end
115 117
116 end 118 end