diff options
| author | Brian Campbell | 2020-06-17 15:28:42 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-06-17 15:28:42 +0100 |
| commit | a7d351c71d43585d789bc92df3ba27f4e533d1b7 (patch) | |
| tree | 81b1a621c6f961c4a966df8daf5ecf6ed3ab27d7 /test/typecheck | |
| parent | 60284d322dd9c240d65954a67488c2a880ef5907 (diff) | |
Make `if cond { ... return() };` assert cond in the type environment
Avoids generating an assert expression with an escape effect.
Mirrors existing case for `if cond { throw(...); };`.
No longer requires `-non_lexical_flow`.
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/pass/if_return.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/typecheck/pass/if_return.sail b/test/typecheck/pass/if_return.sail index 9b373c2d..0331bbab 100644 --- a/test/typecheck/pass/if_return.sail +++ b/test/typecheck/pass/if_return.sail @@ -1,5 +1,3 @@ -$option -non_lexical_flow - default Order dec $include <prelude.sail> |