Mercurial > urweb

comparison src/cjrize.sml @ 126:76a4d69719d8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tagging (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 10:38:03 -0400
parents 91027db5a07c
children 78d59cf0a0cc
comparison
equal deleted inserted replaced
125:fd98dd10dce7 126:76a4d69719d8
193 (L'.DVal (x, n, t, e), sm) 193 (L'.DVal (x, n, t, e), sm)
194 end 194 end
195 in 195 in
196 (SOME (d, loc), NONE, sm) 196 (SOME (d, loc), NONE, sm)
197 end 197 end
198 | L.DValRec _ => raise Fail "Cjrize DValRec"
198 | L.DExport (s, n, ts) => 199 | L.DExport (s, n, ts) =>
199 let 200 let
200 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts 201 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
201 in 202 in
202 (NONE, SOME ("/" ^ s, n, ts), sm) 203 (NONE, SOME ("/" ^ s, n, ts), sm)