Mercurial > urweb

comparison src/elab_ops.sml @ 207:cc68da3801bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Non-star SELECT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 18:35:08 -0400
parents 60d97de1bbe8
children 1487c712eb12
comparison
equal deleted inserted replaced
206:cb8493759a7b 207:cc68da3801bc
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 | _ => cAll) 139 | _ => cAll)
140 140
141 | CProj (c, n) =>
142 (case hnormCon env c of
143 (CTuple cs, _) => hnormCon env (List.nth (cs, n - 1))
144 | _ => cAll)
145
141 | _ => cAll 146 | _ => cAll
142 147
143 end 148 end