Mercurial > urweb

comparison src/mono_shake.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 162d5308e34f
children 9a2c18dab11d
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
42 } 42 }
43 43
44 fun shake file = 44 fun shake file =
45 let 45 let
46 val page_es = List.foldl 46 val page_es = List.foldl
47 (fn ((DExport (_, _, n, _), _), page_es) => n :: page_es 47 (fn ((DExport (_, _, n, _, _), _), page_es) => n :: page_es
48 | (_, page_es) => page_es) [] file 48 | (_, page_es) => page_es) [] file
49 49
50 val (cdef, edef) = foldl (fn ((DDatatype (_, n, xncs), _), (cdef, edef)) => 50 val (cdef, edef) = foldl (fn ((DDatatype (_, n, xncs), _), (cdef, edef)) =>
51 (IM.insert (cdef, n, xncs), edef) 51 (IM.insert (cdef, n, xncs), edef)
52 | ((DVal (_, n, t, e, _), _), (cdef, edef)) => 52 | ((DVal (_, n, t, e, _), _), (cdef, edef)) =>