Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into mono-experiments

2 files changed, 11 insertions, 0 deletions

diff --git a/test/ocaml/string_equality/expect b/test/ocaml/string_equality/expect
new file mode 100644
index 00000000..27ba77dd
--- /dev/null
+++ b/test/ocaml/string_equality/expect
@@ -0,0 +1 @@
+true
diff --git a/test/ocaml/string_equality/string_equality.sail b/test/ocaml/string_equality/string_equality.sail
new file mode 100644
index 00000000..68629862
--- /dev/null
+++ b/test/ocaml/string_equality/string_equality.sail
@@ -0,0 +1,10 @@
+
+val unit -> unit effect pure main
+
+function main () = {
+  if ("test" == "test") then {
+    print("true")
+  } else {
+    print("false")
+  }
+}