From 666062ce4d97fe48307d1feb5bb4eb32087b177a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 30 Nov 2018 19:33:50 +0000
Subject: Remove constraint synonyms

They weren't needed for ASL parser like I thought they would be, and
they increase the complexity of dealing with constraints throughout
Sail, so just remove them.

Also fix some compiler warnings
---
 src/parse_ast.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index ddff51ea..c50977ed 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -177,7 +177,6 @@ n_constraint_aux =  (* constraint over kind $_$ *)
  | NC_set of kid * (Big_int.num) list
  | NC_or of n_constraint * n_constraint
  | NC_and of n_constraint * n_constraint
- | NC_app of id * atyp list
  | NC_true
  | NC_false
 
@@ -568,7 +567,6 @@ def =  (* Top-level definition *)
  | DEF_scattered of scattered_def (* scattered definition *)
  | DEF_reg_dec of dec_spec (* register declaration *)
  | DEF_pragma of string * string * l
- | DEF_constraint of id * kid list * n_constraint
  | DEF_internal_mutrec of fundef list
 
 
-- 
cgit v1.2.3