From a7d351c71d43585d789bc92df3ba27f4e533d1b7 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 17 Jun 2020 15:28:42 +0100
Subject: 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`.

---
 test/typecheck/pass/if_return.sail | 2 --
 1 file changed, 2 deletions(-)

(limited to 'test/typecheck')

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>
-- 
cgit v1.2.3