diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2019-08-30 20:24:31 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2019-08-30 20:24:31 +0200 |
commit | 05b3868f44c125b4ca7fcdb3d9dd7d92954d8178 (patch) | |
tree | 476e30b7061293445b884338c9ff003de1d88f89 /tests/expressions/buildExpression.ml | |
parent | eea6c106dd959dec19dc70991010bf2008fcf6c6 (diff) |
Added tests
Diffstat (limited to 'tests/expressions/buildExpression.ml')
-rw-r--r-- | tests/expressions/buildExpression.ml | 27 |
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 |