diff --git a/lib/vm/types.ml b/lib/vm/types.ml index 58bb0ba..4ec6db1 100644 --- a/lib/vm/types.ml +++ b/lib/vm/types.ml @@ -25,6 +25,7 @@ type instr = | Jump of int | JumpF of int (* jump if false. *) | End + | NOOP type vm_state = { mutable i : int; diff --git a/lib/vm/vm.ml b/lib/vm/vm.ml index 676b440..12883c3 100644 --- a/lib/vm/vm.ml +++ b/lib/vm/vm.ml @@ -57,5 +57,6 @@ and interpret state = (match (pop_one state) with | Nil -> state.i <- target | _ -> ()); interpret state - | End -> ()) + | End -> () + | NOOP -> interpret state)