Implemented Pfloatfield and Psetfloatfieldmaster

1 files changed, 6 insertions, 0 deletions

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 87dd583..df5792b 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -333,6 +333,12 @@ and eval_prim env kind vs =
   | Pasrbint Pint64     -> lift2 (int64  --> int --> int64 ) Int64.shift_right     vs
   | Pasrbint Pnativeint -> lift2 (natint --> int --> natint) Nativeint.shift_right vs
 
+  | Pfloatfield i ->
+     lift (any --> float) (fun blk -> Obj.double_field blk i) vs
+
+  | Psetfloatfield i ->
+     lift2 (any --> float --> unit) (fun blk x -> Obj.set_double_field blk i x) vs
+
   | Pnot -> lift (bool --> bool) not vs
 
   | Pbintcomp (kind, cmp) ->