diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/reg_ref.sail | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/typecheck/pass/reg_ref.sail b/test/typecheck/pass/reg_ref.sail new file mode 100644 index 00000000..a81f6abf --- /dev/null +++ b/test/typecheck/pass/reg_ref.sail @@ -0,0 +1,13 @@ +register reg : range(0, 10) + +val modify : register(range(0,10)) -> unit effect {wreg} + +function modify (r) = { + (*r) = 9; + (*r) = 10; + (*r) = 8 +} + +val test : unit -> unit effect {wreg} + +function test () = modify(ref reg) |