Mercurial > urweb

comparison src/elab_util.sml @ 8:a455a9f85cc3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 38bf996e1c2e
children 14b533dbe6cc
comparison
equal deleted inserted replaced
7:2ce5bf227d01 8:a455a9f85cc3
109 S.bind2 (mfc c1, 109 S.bind2 (mfc c1,
110 fn c1' => 110 fn c1' =>
111 S.map2 (mfc c2, 111 S.map2 (mfc c2,
112 fn c2' => 112 fn c2' =>
113 (CApp (c1', c2'), loc))) 113 (CApp (c1', c2'), loc)))
114 | CAbs (e, x, k, c) => 114 | CAbs (x, k, c) =>
115 S.bind2 (mfk k, 115 S.bind2 (mfk k,
116 fn k' => 116 fn k' =>
117 S.map2 (mfc c, 117 S.map2 (mfc c,
118 fn c' => 118 fn c' =>
119 (CAbs (e, x, k', c'), loc))) 119 (CAbs (x, k', c'), loc)))
120 120
121 | CName _ => S.return2 cAll 121 | CName _ => S.return2 cAll
122 122
123 | CRecord (k, xcs) => 123 | CRecord (k, xcs) =>
124 S.bind2 (mfk k, 124 S.bind2 (mfk k,