diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-07 15:44:40 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 14:05:56 +0100 |
| commit | 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 (patch) | |
| tree | f06907f88972e8e87c5924de8eb225362a4a775b /tests/expressionParser_test.ml | |
| parent | 50c16c8fc79d349f9db9d7975d1ae4e57050b648 (diff) | |
Use Zarith instead of Num for computing numbers
Diffstat (limited to 'tests/expressionParser_test.ml')
| -rwxr-xr-x | tests/expressionParser_test.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/expressionParser_test.ml b/tests/expressionParser_test.ml index 30bd665..12ceeb0 100755 --- a/tests/expressionParser_test.ml +++ b/tests/expressionParser_test.ml @@ -20,7 +20,7 @@ let test_num ctx = begin let expected = Expression.Formula ( Expression.Expression ( ScTypes.Value (ScTypes.number ( - DataType.Num.of_num (Num.num_of_int 1) + DataType.Num.of_int 1 ) ))) in let result = load_expr "=1" in @@ -54,7 +54,7 @@ let test_call2 ctx = begin Expression.Expression ( ScTypes.Call ( u"foo2", [ScTypes.Value (ScTypes.number ( - DataType.Num.of_num (Num.num_of_int 4) + DataType.Num.of_int 4 ))]))) in let result = load_expr "=foo2(4)" in @@ -82,5 +82,5 @@ let tests = "expression_parser_test">::: [ "test_num" >:: test_num; "test_call" >:: test_call; "test_call2" >:: test_call2; - "test_ref" >:: test_ref; + "test_ref" >:: test_ref; ] |