From 8b1c4ce0c3659020e0f2a2e04d70798931dc9b63 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 2 Aug 2019 16:48:36 +0100
Subject: Fix all warnings (except for two lem warnings)

Remove P_record as it's never been implemented in
parser/typechecker/rewriter, and is not likely to be. This also means
we can get rid of some ugliness with the fpat and mfpat types. Stubs
for P_or and P_not are left as they still may get added to ASL and we
might want to support them, although there are good reasons to keep
our patterns simple.

The lem warning for while -> while0 for ocaml doesn't matter because
it's only used in lem, and the 32-bit number warning is just noise.
---
 src/parser.mly | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/parser.mly')

diff --git a/src/parser.mly b/src/parser.mly
index 4bc2e5c5..0b09468c 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -674,8 +674,6 @@ pat_string_append:
 pat1:
   | atomic_pat
     { $1 }
-  (* | atomic_pat Bar pat1
-    { mk_pat (P_or ($1, $3)) $startpos $endpos } *)
   | atomic_pat At pat_concat
     { mk_pat (P_vector_concat ($1 :: $3)) $startpos $endpos }
   | atomic_pat ColonColon pat1
-- 
cgit v1.2.3