From 9b4304908c91cd4721d10844a1c49c25032d359d Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Sat, 4 Oct 2014 13:27:35 +0200
Subject: Implemented Pfloatfield and Psetfloatfield

---
 src/Interpreter.ml | 6 ++++++
 1 file changed, 6 insertions(+)

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) ->
-- 
cgit v1.2.3-70-g09d2