diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/recursion.sail | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/typecheck/pass/recursion.sail b/test/typecheck/pass/recursion.sail new file mode 100644 index 00000000..5ca85f53 --- /dev/null +++ b/test/typecheck/pass/recursion.sail @@ -0,0 +1,15 @@ +default Order dec + +$include <prelude.sail> + +val log2 : int -> int + +function log2(n) = + if n <= 1 then 0 else 1 + log2(n/2) + +termination_measure log2(n) = n + +val testlog2 : unit -> unit effect {escape} + +function testlog2() = + assert(log2(64) == 6) |