equal
deleted
inserted
replaced
|
1 (* Title: tests for Interpret/ptyps.sml |
|
2 Author: Walther Neuper 100930 |
|
3 (c) copyright due to lincense terms. |
|
4 |
|
5 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
|
6 10 20 30 40 50 60 70 80 |
|
7 *) |
|
8 "--------------------------------------------------------"; |
|
9 "table of contents --------------------------------------"; |
|
10 "--------------------------------------------------------"; |
|
11 "----------- fun ----------------------------------------"; |
|
12 "--------------------------------------------------------"; |
|
13 "--------------------------------------------------------"; |
|
14 "--------------------------------------------------------"; |
|
15 |
|
16 (*========== inhibit exn ======================================================= |
|
17 ============ inhibit exn =====================================================*) |
|
18 |
|
19 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
|
20 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |