Mercurial > urweb

comparison src/mono_shake.sml @ 569:162d5308e34f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents e976b187d73a
children 56aaa1941dad
comparison
equal deleted inserted replaced
568:55fc747a67dc 569:162d5308e34f
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 | ((DSequence _, _), acc) => acc
59 | ((DDatabase _, _), acc) => acc) 59 | ((DDatabase _, _), acc) => acc
60 | ((DJavaScript _, _), acc) => acc)
60 (IM.empty, IM.empty) file 61 (IM.empty, IM.empty) file
61 62
62 fun typ (c, s) = 63 fun typ (c, s) =
63 case c of 64 case c of
64 TDatatype (n, _) => 65 TDatatype (n, _) =>
110 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n) 111 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n)
111 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis 112 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis
112 | (DExport _, _) => true 113 | (DExport _, _) => true
113 | (DTable _, _) => true 114 | (DTable _, _) => true
114 | (DSequence _, _) => true 115 | (DSequence _, _) => true
115 | (DDatabase _, _) => true) file 116 | (DDatabase _, _) => true
117 | (DJavaScript _, _) => true) file
116 end 118 end
117 119
118 end 120 end