summaryrefslogtreecommitdiff
path: root/ppc.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-05-19 21:17:49 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-05-19 21:17:49 +0200
commitb2d8dcd8673cfcdbf1e8a02aa19c53e42b8a60b6 (patch)
tree7de178aec8ebeacc7b4effe3b09de4485487da65 /ppc.sig
parent88378509521b46e615986f8c82d10b9da88830d2 (diff)
Transition from exception-based errors to printf-based
Diffstat (limited to 'ppc.sig')
-rw-r--r--ppc.sig12
1 files changed, 0 insertions, 12 deletions
diff --git a/ppc.sig b/ppc.sig
index ba61742..eaddbe5 100644
--- a/ppc.sig
+++ b/ppc.sig
@@ -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