[/] [trunk/] [src/] [maketest/] [maketest.sml] -
Diff 17 ⟶ 18
Diff between revs
17
and
18
| Rev 17 |
Rev 18 |
|---|
| Line 1... |
Line 1... |
(* $Id: maketest.sml 17 2007-11-09 10:24:48Z tbourke $ *)
|
(* $Id: maketest.sml 18 2007-11-20 03:29:43Z tbourke $ *)
|
|
|
(* TODO:
|
(* TODO:
|
* * Tidy this whole file up. Try to effect more structure and reuse.
|
* * Tidy this whole file up. Try to effect more structure and reuse.
|
* Shift generic functions into xml/nta parse/parsed-nta.
|
* Shift generic functions into xml/nta parse/parsed-nta.
|
*)
|
*)
|
| Line 14... |
Line 14... |
|
|
structure MakeTest : MAKE_TEST
|
structure MakeTest : MAKE_TEST
|
=
|
=
|
struct
|
struct
|
(* shortcuts over Atom and AtomSet *)
|
(* shortcuts over Atom and AtomSet *)
|
infix <+ <- ++ </ =:= ; open Symbol
|
infix <+ <- ++ <\ \ =:= ; open Symbol
|
|
|
exception InvalidChannelId of symbol
|
exception InvalidChannelId of symbol
|
exception SilentTransition
|
exception SilentTransition
|
exception NoChannels
|
exception NoChannels
|
exception BadSubscriptType of string * string
|
exception BadSubscriptType of string * string
|
exception BadSubscriptType of string * string
|
exception BadSubscriptType of string * string
|