summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/testsuite/tests/tool-ocaml/t220-assign.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/tool-ocaml/t220-assign.ml')
-rw-r--r--ocaml-binary-annot/testsuite/tests/tool-ocaml/t220-assign.ml27
1 files changed, 27 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/tool-ocaml/t220-assign.ml b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t220-assign.ml
new file mode 100644
index 0000000000..769f8fb22c
--- /dev/null
+++ b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t220-assign.ml
@@ -0,0 +1,27 @@
+open Lib;;
+let x = ref 1 in
+x := 3;
+if !x <> 3 then raise Not_found
+;;
+
+(**
+ 0 CONSTINT 42
+ 2 PUSHACC0
+ 3 MAKEBLOCK1 0
+ 5 POP 1
+ 7 SETGLOBAL Lib
+ 9 CONST1
+ 10 PUSHCONST3
+ 11 ASSIGN 0
+ 13 CONST3
+ 14 PUSHACC1
+ 15 NEQ
+ 16 BRANCHIFNOT 23
+ 18 GETGLOBAL Not_found
+ 20 MAKEBLOCK1 0
+ 22 RAISE
+ 23 POP 1
+ 25 ATOM0
+ 26 SETGLOBAL T220-assign
+ 28 STOP
+**)