lobo/kestrel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

make #010e DEO print stack in the recommended repr

Browse source
This commit is contained in:
Lobo 2025-12-18 15:50:34 -03:00
parent b71cf4343e
commit bc1bae5977
8 changed files with 837 additions and 52 deletions
Download patch file Download diff file Expand all files Collapse all files

7
lib/Machine.mli
View file

@ -5,10 +5,6 @@ val stack_create : unit -> stack
val peek : mode -> stack -> int
val pop : mode -> stack -> int
val push : mode -> stack -> int -> unit
val pushbyte : mode -> stack -> int -> unit
val pushshort : mode -> stack -> int -> unit
val popbyte : mode -> stack -> int
val popshort : mode -> stack -> int
type machine
@ -17,14 +13,11 @@ val dev : machine -> bytes
val wst : machine -> stack
val rst : machine -> stack
type machine_state = Break | Next of int
type _ Effect.t +=
| BRK : int Effect.t
| DEI : ([ `Byte | `Short ] * int) -> int Effect.t
| DEO : (int * int) -> unit Effect.t
| Trace : (int * Instr.t * int list) -> unit Effect.t
| Breakpoint : int -> unit Effect.t
val create : string -> machine
val dispatch : ?trace:bool -> machine -> int -> 'a