Mercurial > urweb

comparison src/cjrize.sml @ 144:f0d3402184d1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 78d59cf0a0cc
children 6847741e1f5f
comparison
equal deleted inserted replaced
143:4b9c2bd6157c 144:f0d3402184d1
223 sm vis 223 sm vis
224 in 224 in
225 (SOME (L'.DFunRec vis, loc), NONE, sm) 225 (SOME (L'.DFunRec vis, loc), NONE, sm)
226 end 226 end
227 227
228 | L.DExport (s, n, ts) => 228 | L.DExport (ek, s, n, ts) =>
229 let 229 let
230 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts 230 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
231 in 231 in
232 (NONE, SOME ("/" ^ s, n, ts), sm) 232 (NONE, SOME (ek, "/" ^ s, n, ts), sm)
233 end 233 end
234 234
235 fun cjrize ds = 235 fun cjrize ds =
236 let 236 let
237 val (ds, ps, sm) = foldl (fn (d, (ds, ps, sm)) => 237 val (ds, ps, sm) = foldl (fn (d, (ds, ps, sm)) =>