diff options
Diffstat (limited to 'ppc.sig')
| -rw-r--r-- | ppc.sig | 22 |
1 files changed, 11 insertions, 11 deletions
@@ -4,20 +4,20 @@ signature PPC = sig type t type tkErrorVal - type tkErrorExpVal + type tkClassErrorVal type tkPos exception TkError of tkErrorVal - exception TkErrorExp of tkErrorExpVal + exception TkClassError of tkClassErrorVal - datatype expTk = - ExpTk of T.token | - ExpId | - ExpConst | - ExpUnop | - ExpBinop | - ExpOp + datatype tkClass = + Ctk of T.token | + Cid | + Cconst | + Cunop | + Cbinop | + Cop val create: { fname: string, incDirs: string list } -> t val debugPrint: string -> string list -> unit @@ -26,6 +26,6 @@ signature PPC = sig val raiseTkError: string -> tkPos -> 'a val tkErrorPrint: tkErrorVal -> unit - val raiseTkErrorExp: tkPos -> expTk list -> 'a - val tkErrorExpPrint: tkErrorExpVal -> unit + val raiseTkClassError: tkPos -> tkClass list -> 'a + val tkClassErrorPrint: tkClassErrorVal -> unit end |