Mercurial > urweb

comparison src/mono_shake.sml @ 725:4c5796512edc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catching duplicate cookie and style paths
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:07:21 -0400
parents f152f215a02c
children 8688e01ae469
comparison
equal deleted inserted replaced
724:12ec14a6be0b 725:4c5796512edc
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 | ((DDatabase _, _), acc) => acc 60 | ((DDatabase _, _), acc) => acc
61 | ((DJavaScript _, _), acc) => acc 61 | ((DJavaScript _, _), acc) => acc
62 | ((DCookie _, _), acc) => acc
62 | ((DStyle _, _), acc) => acc) 63 | ((DStyle _, _), acc) => acc)
63 (IM.empty, IM.empty) file 64 (IM.empty, IM.empty) file
64 65
65 fun typ (c, s) = 66 fun typ (c, s) =
66 case c of 67 case c of
115 | (DExport _, _) => true 116 | (DExport _, _) => true
116 | (DTable _, _) => true 117 | (DTable _, _) => true
117 | (DSequence _, _) => true 118 | (DSequence _, _) => true
118 | (DDatabase _, _) => true 119 | (DDatabase _, _) => true
119 | (DJavaScript _, _) => true 120 | (DJavaScript _, _) => true
121 | (DCookie _, _) => true
120 | (DStyle _, _) => true) file 122 | (DStyle _, _) => true) file
121 end 123 end
122 124
123 end 125 end