Mercurial > urweb

comparison src/mono_shake.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents a3ddf05fb3e3
children 4c5796512edc
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
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 | ((DDatabase _, _), acc) => acc 60 | ((DDatabase _, _), acc) => acc
61 | ((DJavaScript _, _), acc) => acc) 61 | ((DJavaScript _, _), acc) => acc
62 | ((DStyle _, _), acc) => acc)
62 (IM.empty, IM.empty) file 63 (IM.empty, IM.empty) file
63 64
64 fun typ (c, s) = 65 fun typ (c, s) =
65 case c of 66 case c of
66 TDatatype (n, _) => 67 TDatatype (n, _) =>
113 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis 114 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis
114 | (DExport _, _) => true 115 | (DExport _, _) => true
115 | (DTable _, _) => true 116 | (DTable _, _) => true
116 | (DSequence _, _) => true 117 | (DSequence _, _) => true
117 | (DDatabase _, _) => true 118 | (DDatabase _, _) => true
118 | (DJavaScript _, _) => true) file 119 | (DJavaScript _, _) => true
120 | (DStyle _, _) => true) file
119 end 121 end
120 122
121 end 123 end