Mercurial > urweb
comparison src/mono_shake.sml @ 569:162d5308e34f
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 |