diff options
| author | Alasdair Armstrong | 2017-07-13 14:25:34 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-13 14:25:34 +0100 |
| commit | c19b8e2b934149b6670f43d875d773115b08410e (patch) | |
| tree | 65047a852db3ffb1773f59eb2d859884179abaaf /src/parser.mly | |
| parent | 73e54aeec2febe58424b44c2c8f649b29910f3d9 (diff) | |
Improved type inference for let statements and assignments with type annotated patterns and lexps
Added get_enum to type checker interface
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index 9f48067f..8e61a0ac 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -209,6 +209,10 @@ id: { idl (DeIid($3)) } | Lparen Deinfix Lt Rparen { idl (DeIid($3)) } + | Lparen Deinfix GtUnderS Rparen + { idl (DeIid($3)) } + | Lparen Deinfix LtUnderS Rparen + { idl (DeIid($3)) } | Lparen Deinfix Minus Rparen { idl (DeIid("-")) } | Lparen Deinfix MinusUnderS Rparen @@ -243,6 +247,8 @@ id: { idl (DeIid($3)) } | Lparen Deinfix GtEq Rparen { idl (DeIid($3)) } + | Lparen Deinfix GtEqUnderS Rparen + { idl (DeIid($3)) } | Lparen Deinfix GtEqPlus Rparen { idl (DeIid($3)) } | Lparen Deinfix GtGt Rparen @@ -257,6 +263,8 @@ id: { idl (DeIid($3)) } | Lparen Deinfix LtEq Rparen { idl (DeIid($3)) } + | Lparen Deinfix LtEqUnderS Rparen + { idl (DeIid($3)) } | Lparen Deinfix LtLt Rparen { idl (DeIid($3)) } | Lparen Deinfix LtLtLt Rparen |