diff options
| author | Alasdair Armstrong | 2017-06-16 18:45:39 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-06-16 18:45:39 +0100 |
| commit | af272bda29a1e6aa5670d1262eba7535396cd21c (patch) | |
| tree | 769613a1a7a22203ae1fd70732109345bc06dec8 /test | |
| parent | cddc9abe0ef7af3d13503f7575066f7a3c0ccc86 (diff) | |
Some small changes to bi-directional checker
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/fail/assignment_simple1.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/typecheck/fail/assignment_simple1.sail b/test/typecheck/fail/assignment_simple1.sail index 1ad9f8bf..3778d84a 100644 --- a/test/typecheck/fail/assignment_simple1.sail +++ b/test/typecheck/fail/assignment_simple1.sail @@ -8,6 +8,7 @@ val unit -> [:10:] effect pure test function [:10:] test () = { z := 9; + z := 10; z } |