1 files changed, 27 insertions, 0 deletions
diff --git a/tests/expressions/buildExpression.ml b/tests/expressions/buildExpression.ml
new file mode 100644
index 0000000..e8a32c6
--- /dev/null
+++ b/tests/expressions/buildExpression.ml
@@ -0,0 +1,27 @@
+let u = UTF8.from_utf8string
+
+module M(E:Sym_expr.SYM_EXPR) = struct
+
+  let string =
+    let v = E.value (E.T.str @@ u "This is a test string") in
+    E.observe v
+
+  let date0 =
+    let zero = E.value (E.T.date @@ DataType.Num.zero) in
+    E.observe zero
+
+  let true0 =
+    let v = E.call0 (u "true") in
+    E.observe v
+
+  let f3 =
+    let zero = E.value (E.T.num @@ DataType.Num.zero) in
+    let v = E.call3 (u "register3") zero zero zero in
+    E.observe v
+
+  let calln =
+    let zero = E.value (E.T.num @@ DataType.Num.zero) in
+    let one = E.value (E.T.num @@ DataType.Num.one) in
+    E.observe (E.callN (u "calln") [zero; one])
+
+end