diff options
Diffstat (limited to 'ppc.sig')
-rw-r--r-- | ppc.sig | 12 |
1 files changed, 0 insertions, 12 deletions
@@ -3,14 +3,8 @@ signature PPC = sig structure T: TOKENIZER type t - type tkErrorVal - type tkClassErrorVal type tkPos - exception TkError of tkErrorVal - exception TkClassError of tkClassErrorVal - - datatype tkClass = Ctk of T.token | Cid | @@ -23,10 +17,4 @@ signature PPC = sig val debugPrint: string -> string list -> unit val getClass: t -> tkClass list -> T.token * tkPos * t - - val raiseTkError: tkPos -> string -> 'a - val tkErrorPrint: tkErrorVal -> unit - - val raiseTkClassError: tkPos -> tkClass list -> 'a - val tkClassErrorPrint: tkClassErrorVal -> unit end |