Mercurial > urweb
comparison src/disjoint.sml @ 326:950320f33232
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), _), |