Mercurial > urweb

comparison src/elab_util.sml @ 14:f1c36df29ed7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Primitive type constants
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 12:27:08 -0400
parents 6049e2193bf2
children 4ab19c19665f
comparison
equal deleted inserted replaced
13:6049e2193bf2 14:f1c36df29ed7
203 fun mfe ctx e acc = 203 fun mfe ctx e acc =
204 S.bindP (mfe' ctx e acc, fe ctx) 204 S.bindP (mfe' ctx e acc, fe ctx)
205 205
206 and mfe' ctx (eAll as (e, loc)) = 206 and mfe' ctx (eAll as (e, loc)) =
207 case e of 207 case e of
208 ERel _ => S.return2 eAll 208 EPrim _ => S.return2 eAll
209 | ERel _ => S.return2 eAll
209 | ENamed _ => S.return2 eAll 210 | ENamed _ => S.return2 eAll
210 | EApp (e1, e2) => 211 | EApp (e1, e2) =>
211 S.bind2 (mfe ctx e1, 212 S.bind2 (mfe ctx e1,
212 fn e1' => 213 fn e1' =>
213 S.map2 (mfe ctx e2, 214 S.map2 (mfe ctx e2,