Mercurial > urweb
comparison src/mono_shake.sml @ 754:8688e01ae469
A view query works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 28 Apr 2009 15:04:37 -0400 |
parents | 4c5796512edc |
children | d8f58d488cfb |
comparison
equal
deleted
inserted
replaced
753:d484df4e841a | 754:8688e01ae469 |
---|---|
55 | ((DValRec vis, _), (cdef, edef)) => | 55 | ((DValRec vis, _), (cdef, edef)) => |
56 (cdef, foldl (fn ((_, n, t, e, _), edef) => IM.insert (edef, n, (t, e))) edef vis) | 56 (cdef, foldl (fn ((_, n, t, e, _), edef) => IM.insert (edef, n, (t, e))) edef vis) |
57 | ((DExport _, _), acc) => acc | 57 | ((DExport _, _), acc) => acc |
58 | ((DTable _, _), acc) => acc | 58 | ((DTable _, _), acc) => acc |
59 | ((DSequence _, _), acc) => acc | 59 | ((DSequence _, _), acc) => acc |
60 | ((DView _, _), acc) => acc | |
60 | ((DDatabase _, _), acc) => acc | 61 | ((DDatabase _, _), acc) => acc |
61 | ((DJavaScript _, _), acc) => acc | 62 | ((DJavaScript _, _), acc) => acc |
62 | ((DCookie _, _), acc) => acc | 63 | ((DCookie _, _), acc) => acc |
63 | ((DStyle _, _), acc) => acc) | 64 | ((DStyle _, _), acc) => acc) |
64 (IM.empty, IM.empty) file | 65 (IM.empty, IM.empty) file |
114 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n) | 115 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n) |
115 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis | 116 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis |
116 | (DExport _, _) => true | 117 | (DExport _, _) => true |
117 | (DTable _, _) => true | 118 | (DTable _, _) => true |
118 | (DSequence _, _) => true | 119 | (DSequence _, _) => true |
120 | (DView _, _) => true | |
119 | (DDatabase _, _) => true | 121 | (DDatabase _, _) => true |
120 | (DJavaScript _, _) => true | 122 | (DJavaScript _, _) => true |
121 | (DCookie _, _) => true | 123 | (DCookie _, _) => true |
122 | (DStyle _, _) => true) file | 124 | (DStyle _, _) => true) file |
123 end | 125 end |