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