blob: 10b90d4955beaca91b12341ce604b3ced206318b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
signature PPC = sig
structure T: TOKENIZER
type t
type tkErrorVal
type tkErrorExpVal
type tkPos
exception TkError of tkErrorVal
exception TkErrorExp of tkErrorExpVal
datatype expTk =
ExpTk of T.token |
ExpId |
ExpConst |
ExpUnop |
ExpBinop |
ExpOp
val create: { fname: string, incDirs: string list } -> t
val debugPrint: string -> string list -> unit
val raiseTkError: string -> tkPos -> 'a
val tkErrorPrint: tkErrorVal -> unit
val raiseTkErrorExp: tkPos -> expTk list -> 'a
val tkErrorExpPrint: tkErrorExpVal -> unit
end
|
