diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index ab5cc9f7..5708834d 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -54,6 +54,8 @@ let act_to_string = function | Write_mem (id, args, sub, value) -> sprintf "write_mem %s(%s)%s = %s" (id_to_string id) (val_to_string args) (sub_to_string sub) (val_to_string value) + | Call_extern (name, arg) -> + "extern call to " ^ name ;; module Reg = struct @@ -75,6 +77,7 @@ let perform_action ((reg, mem) as env) = function V_lit L_unit, (Reg.update id value reg, mem) | Write_mem (id, args, None, value) -> V_lit L_unit, (reg, Mem.update (id, args) value mem) + | Call_extern (name, arg) -> failwith "extern calls not implemented" (* XXX *) | _ -> failwith "partial read/write not implemented" (* XXX *) ;; |