| author | Walther Neuper <neuper@ist.tugraz.at> |
| Fri, 01 Oct 2010 10:23:38 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 38036 | 02a9b2540eb7 |
| permissions | -rw-r--r-- |
| neuper@38036 | 1 |
(* Title: tests for Interpret/ptyps.sml |
| neuper@38036 | 2 |
Author: Walther Neuper 100930 |
| neuper@38036 | 3 |
(c) copyright due to lincense terms. |
| neuper@38036 | 4 |
|
| neuper@38036 | 5 |
12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
| neuper@38036 | 6 |
10 20 30 40 50 60 70 80 |
| neuper@38036 | 7 |
*) |
| neuper@38036 | 8 |
"--------------------------------------------------------"; |
| neuper@38036 | 9 |
"table of contents --------------------------------------"; |
| neuper@38036 | 10 |
"--------------------------------------------------------"; |
| neuper@38036 | 11 |
"----------- fun ----------------------------------------"; |
| neuper@38036 | 12 |
"--------------------------------------------------------"; |
| neuper@38036 | 13 |
"--------------------------------------------------------"; |
| neuper@38036 | 14 |
"--------------------------------------------------------"; |
| neuper@38036 | 15 |
|
| neuper@38036 | 16 |
(*========== inhibit exn ======================================================= |
| neuper@38036 | 17 |
============ inhibit exn =====================================================*) |
| neuper@38036 | 18 |
|
| neuper@38036 | 19 |
(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
| neuper@38036 | 20 |
-.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |