diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-18 12:07:58 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-18 12:07:58 +0200 |
| commit | 183a4420d2f2a985dd26d76e63c2cdcaafedc5ad (patch) | |
| tree | 8fbb929bedf4196aab73a0b630bda38cd58d4cdf /ppc.sig | |
| parent | 5edd85474d6d8f3a0cc06cc0250ed3db8b26fcfa (diff) | |
Conditional inclusion
Diffstat (limited to 'ppc.sig')
| -rw-r--r-- | ppc.sig | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -22,8 +22,9 @@ signature PPC = sig val create: { fname: string, incDirs: string list, debugMode: bool } -> t val debugPrint: string -> string list -> unit + val getClass: t -> tkClass list -> T.token * tkPos * t - val raiseTkError: string -> tkPos -> 'a + val raiseTkError: tkPos -> string -> 'a val tkErrorPrint: tkErrorVal -> unit val raiseTkClassError: tkPos -> tkClass list -> 'a |