From c497bef0d49ec32afae584c63a0cee0730cb90b1 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 5 Dec 2017 11:31:02 +0000
Subject: Add top-level pattern match guards internally Also fix bug in mono
 analysis with generated variables Breaks lots of typechecking tests because
 it generates unnecessary equality tests on units (and the tests don't have
 generic equality), which I'll fix next.

---
 language/l2.ott | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'language')

diff --git a/language/l2.ott b/language/l2.ott
index 76fc0c77..70423cf5 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -1000,10 +1000,18 @@ effect_opt :: 'Effect_opt_' ::=
   |                                             :: :: pure {{ com sugar for empty effect set }}
   | effectkw effect                              :: :: effect
 
+% Generate a pexp, but from slightly different syntax (= rather than ->)
+pexp_funcl :: 'Pat_funcl_' ::=
+  {{ auxparam 'a }}
+  {{ icho ('a pexp) }}
+  {{ lem (pexp 'a) }}
+  | pat = exp                       :: :: exp {{ ichlo (Pat_aux (Pat_exp [[pat]] [[exp]],Unknown)) }}
+  | pat when exp1 = exp             :: :: when {{ ichlo (Pat_aux (Pat_when [[pat]] [[exp1]] [[exp]],Unknown)) }}
+
 funcl :: 'FCL_' ::=
   {{ com function clause }}
   {{ aux _ annot }} {{ auxparam 'a }}
-  | id pat = exp                   :: :: Funcl
+  | id pexp_funcl                   :: :: Funcl
 
 
 fundef :: 'FD_' ::=
-- 
cgit v1.2.3