summaryrefslogtreecommitdiff
path: root/ocaml/tmp/test_prec.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml/tmp/test_prec.ml')
-rw-r--r--ocaml/tmp/test_prec.ml5
1 files changed, 5 insertions, 0 deletions
diff --git a/ocaml/tmp/test_prec.ml b/ocaml/tmp/test_prec.ml
new file mode 100644
index 0000000..2a9134c
--- /dev/null
+++ b/ocaml/tmp/test_prec.ml
@@ -0,0 +1,5 @@
+type t = { x : int ref }
+let r = { x = ref 42 }
+let test () =
+ let y = !(r.x) in
+ y