diff options
| author | Jakob L. Kreuze | 2023-10-17 14:48:29 -0400 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-10-17 14:48:29 -0400 |
| commit | ba37254e8a33f8e631c341ce5aabb2334e31317a (patch) | |
| tree | 590ef35f7d3dca386571971702ce207ae3257171 | |
| parent | 92ce05d8d306db485d806f8bd285c66708d40994 (diff) | |
Remove infix/unary operators
They're desugared to function calls
| -rw-r--r-- | rego-proofs/compiler-rewrite/bin/main.ml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/rego-proofs/compiler-rewrite/bin/main.ml b/rego-proofs/compiler-rewrite/bin/main.ml index ca6fa62..b1a7f4d 100644 --- a/rego-proofs/compiler-rewrite/bin/main.ml +++ b/rego-proofs/compiler-rewrite/bin/main.ml @@ -52,30 +52,12 @@ and term = Ref of reference | ObjectComprehension of (object_key * term) * query | SetComprehension of term * query [@@deriving show] -and infix_operator = BoolEq - | BoolNot - | BoolLt - | BoolGt - | BoolGeq - | BoolLeq - | ArithAdd - | ArithSub - | ArithMul - | ArithDiv - | BinAnd - | BinOr - | Assign - | Unify -[@@deriving show] and every_item = Term of term | Call of (string list) * (term list) - | Infix of expr * infix_operator * expr [@@deriving show] and expr = Term of term | Call of reference * (term list) - | Infix of expr * infix_operator * expr | Every of (string list) * every_item * query - | Unary of expr (* Has to be unary negation *) [@@deriving show] and literal = expr * ((term * term) option) (* "with" modifier *) [@@deriving show] |