equal
deleted
inserted
replaced
87 *) |
87 *) |
88 in case f of |
88 in case f of |
89 (Error' (Error_ e)) => ERror e |
89 (Error' (Error_ e)) => ERror e |
90 | _ => Updated ([], [], (pt,p)) end; |
90 | _ => Updated ([], [], (pt,p)) end; |
91 |
91 |
|
92 (*. TODO push return-value cs' into solve and rename solve->loc_solve?_? .*) |
92 (* val (m, pos) = ((mI,m), ip); |
93 (* val (m, pos) = ((mI,m), ip); |
93 val (m,(pt,pos) ) = ((mI,m), ptp); |
94 val (m,(pt,pos) ) = ((mI,m), ptp); |
94 *) |
95 *) |
95 fun loc_solve_ m (pt,pos) = |
96 fun loc_solve_ m (pt,pos) = |
96 let val (msg, cs') = solve m (pt, pos); |
97 let val (msg, cs') = solve m (pt, pos); |