Mercurial > urweb

comparison src/elab_ops.sml @ 209:1487c712eb12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stub WHERE support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 12:15:38 -0400
parents cc68da3801bc
children 950320f33232
comparison
equal deleted inserted replaced
208:63a2f2322c1f 209:1487c712eb12
134 ((CRecord (k, xcs1), loc), (CRecord (_, xcs2), _)) => 134 ((CRecord (k, xcs1), loc), (CRecord (_, xcs2), _)) =>
135 (CRecord (k, xcs1 @ xcs2), loc) 135 (CRecord (k, xcs1 @ xcs2), loc)
136 | ((CRecord (_, []), _), c2') => c2' 136 | ((CRecord (_, []), _), c2') => c2'
137 | ((CConcat (c11, c12), loc), c2') => 137 | ((CConcat (c11, c12), loc), c2') =>
138 hnormCon env (CConcat (c11, (CConcat (c12, c2'), loc)), loc) 138 hnormCon env (CConcat (c11, (CConcat (c12, c2'), loc)), loc)
139 | (c1', (CRecord (_, []), _)) => c1'
139 | _ => cAll) 140 | _ => cAll)
140 141
141 | CProj (c, n) => 142 | CProj (c, n) =>
142 (case hnormCon env c of 143 (case hnormCon env c of
143 (CTuple cs, _) => hnormCon env (List.nth (cs, n - 1)) 144 (CTuple cs, _) => hnormCon env (List.nth (cs, n - 1))