equal
deleted
inserted
replaced
34 |
34 |
35 ML {*pos'2str; |
35 ML {*pos'2str; |
36 |
36 |
37 |
37 |
38 *} |
38 *} |
39 |
39 ML {*print_depth 999*} |
40 use"../../../test/Tools/isac/Interpret/mstools.sml" |
40 use"../../../test/Tools/isac/Interpret/appl.sml" |
41 |
41 |
42 end |
42 end |
43 |
43 |
44 |
44 |
45 (*=== inhibit exn ?============================================================= |
45 (*=== inhibit exn ?============================================================= |
46 ===== inhibit exn ?===========================================================*) |
46 ===== inhibit exn ?===========================================================*) |
47 |
47 |
48 |
48 |
49 (*========== inhibit exn 110317 ================================================ |
49 (*========== inhibit exn 110415 ================================================ |
50 |
50 |
51 "########### testcode inserted vvv ###########################################"; |
51 "########### testcode inserted vvv ###########################################"; |
52 "########### testcode inserted ^^^ ###########################################"; |
52 "########### testcode inserted ^^^ ###########################################"; |
53 |
53 |
54 ============ inhibit exn 110317 ==============================================*) |
54 ============ inhibit exn 110415 ==============================================*) |
55 |
55 |
56 |
56 |
57 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
57 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
58 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |
58 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |