diff options
Diffstat (limited to 'test/coq/pass/foreach_using_tyvar.sail')
| -rw-r--r-- | test/coq/pass/foreach_using_tyvar.sail | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/coq/pass/foreach_using_tyvar.sail b/test/coq/pass/foreach_using_tyvar.sail new file mode 100644 index 00000000..8aabe00c --- /dev/null +++ b/test/coq/pass/foreach_using_tyvar.sail @@ -0,0 +1,11 @@ +$include <arith.sail> + +val f : forall 'n, 'n != 5. int('n) -> unit + +val magic : forall 'n. int('n) -> bool effect {rreg} + +val g : int -> unit effect {rreg} + +function g(x) = + foreach (n from 0 to x) + if n != 5 & magic(n) then f(n) |