44 [([], Pbl), ([1], Frm),([1], Res), ([2], Res), ([3], Pbl), ([3, 1], Frm), |
44 [([], Pbl), ([1], Frm),([1], Res), ([2], Res), ([3], Pbl), ([3, 1], Frm), |
45 ([3, 1], Res), ([3, 2, 1], Frm), ([3, 2, 1], Res), ([3, 2, 2], Res), |
45 ([3, 1], Res), ([3, 2, 1], Frm), ([3, 2, 1], Res), ([3, 2, 2], Res), |
46 ([3, 2], Res)] then () else |
46 ([3, 2], Res)] then () else |
47 error "calchead.sml: diff.behav. get_interval after replace} other 2 a"; |
47 error "calchead.sml: diff.behav. get_interval after replace} other 2 a"; |
48 |
48 |
49 print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt); |
49 print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt); print_depth 3; |
50 print_depth 3; |
|
51 if map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt) = |
50 if map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt) = |
52 [([3, 2, 1], Res), ([3, 2, 2], Res), ([3, 2], Res)] then () else |
51 [([3, 2, 1], Res), ([3, 2, 2], Res), ([3, 2], Res)] then () else |
53 error "modspec.sml: diff.behav. get_interval after replace} other 2 b"; |
52 error "modspec.sml: diff.behav. get_interval after replace} other 2 b"; |
54 |
53 |
55 "--------- maximum example with 'specify' ------------------------"; |
54 "--------- maximum example with 'specify' ------------------------"; |