Mercurial > urweb

comparison src/disjoint.sml @ 326:950320f33232

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud list works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 18:32:41 -0400
parents 326fb4686f60
children 9601c717d2f3
comparison
equal deleted inserted replaced
325:e457d8972ff1 326:950320f33232
197 | CNamed n => (Piece (RowN n, ns) :: acc, gs) 197 | CNamed n => (Piece (RowN n, ns) :: acc, gs)
198 | CModProj (m1, ms, x) => (Piece (RowM (m1, ms, x), ns) :: acc, gs) 198 | CModProj (m1, ms, x) => (Piece (RowM (m1, ms, x), ns) :: acc, gs)
199 | _ => (Unknown cAll :: acc, gs) 199 | _ => (Unknown cAll :: acc, gs)
200 end 200 end
201 in 201 in
202 (*Print.prefaces "decomposeRow'" [("c", ElabPrint.p_con env c),
203 ("c'", ElabPrint.p_con env (#1 (hnormCon (env, denv) c)))];*)
202 case #1 (#1 (hnormCon (env, denv) c)) of 204 case #1 (#1 (hnormCon (env, denv) c)) of
203 CApp ( 205 CApp (
204 (CApp ( 206 (CApp (
205 (CApp ((CFold (dom, ran), _), f), _), 207 (CApp ((CFold (dom, ran), _), f), _),
206 i), _), 208 i), _),