blob: 9d62895d59d6153dfdefc4014f7bf30f94569f9b (
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
32
33
|
signature PPC = sig
structure T: TOKENIZER
type t
type tkPos
datatype tkClass =
Ctk of T.token |
Cid |
Cconst |
Cstrlit |
Cunop |
Cbinop |
Cop |
Cexpr
val warning: tkPos -> ((bool * ((string -> unit) * (unit -> unit)))
* ('a * ((string -> unit) * (unit -> unit)) -> unit) -> 'c) -> 'c
val clerror: tkPos -> tkClass list -> 'a
val error: tkPos -> ((bool * ((string -> unit) * (unit -> unit)))
* ('a * ((string -> unit) * (unit -> unit)) -> 'b) -> 'c) -> 'c
val create: { fname: string, incDirs: string list, debugMode: bool } -> t
val getToken: t -> T.token * tkPos * t
val debugPrint: string -> string list -> unit
val ? : (int, 'a, 'b, 'c) a1printer
val ?? : int -> string
val psid: int -> 'a acc -> unit
val Ptk: (T.token, 'a, 'b, 'c) a1printer
val PtkPos: (tkPos, 'a, 'b, 'c) a1printer
end
|
