Mercurial > urweb

comparison src/elab_util.sml @ 334:9601c717d2f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryX
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 19:49:53 -0400
parents eec65c11d3e2
children e976b187d73a
comparison
equal deleted inserted replaced
333:c655eddc3795 334:9601c717d2f3
117 S.bind2 (mfk k, 117 S.bind2 (mfk k,
118 fn k' => 118 fn k' =>
119 S.map2 (mfc (bind (ctx, Rel (x, k))) c, 119 S.map2 (mfc (bind (ctx, Rel (x, k))) c,
120 fn c' => 120 fn c' =>
121 (TCFun (e, x, k', c'), loc))) 121 (TCFun (e, x, k', c'), loc)))
122 | TDisjoint (c1, c2, c3) => 122 | TDisjoint (ai, c1, c2, c3) =>
123 S.bind2 (mfc ctx c1, 123 S.bind2 (mfc ctx c1,
124 fn c1' => 124 fn c1' =>
125 S.bind2 (mfc ctx c2, 125 S.bind2 (mfc ctx c2,
126 fn c2' => 126 fn c2' =>
127 S.map2 (mfc ctx c3, 127 S.map2 (mfc ctx c3,
128 fn c3' => 128 fn c3' =>
129 (TDisjoint (c1', c2', c3'), loc)))) 129 (TDisjoint (ai, c1', c2', c3'), loc))))
130 | TRecord c => 130 | TRecord c =>
131 S.map2 (mfc ctx c, 131 S.map2 (mfc ctx c,
132 fn c' => 132 fn c' =>
133 (TRecord c', loc)) 133 (TRecord c', loc))
134 134