diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/coq/pass/rangetest.sail | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/coq/pass/rangetest.sail b/test/coq/pass/rangetest.sail new file mode 100644 index 00000000..d526d7aa --- /dev/null +++ b/test/coq/pass/rangetest.sail @@ -0,0 +1,9 @@ +$include <prelude.sail> + +val test : (range(2,3), range(1,8)) -> {'n, 'n <= 13. atom('n)} + +function test(x,y) = { + let z : range(3,11) = x + y; + let w : range(-6,2) = x - y; + z + w +}
\ No newline at end of file |