diff options
| author | Alasdair Armstrong | 2017-07-19 16:21:15 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-19 16:22:52 +0100 |
| commit | 754686295309c1ce36ca9d367365474ed467ffa1 (patch) | |
| tree | f5c4620fb752042ed43e0df2c1b59eec815bf23f /src/parser.mly | |
| parent | a19a44469d07d5669db0691edd196b538d2cad17 (diff) | |
Better pretty printing for sail functions with no inline type annotations
Also added some additional helper functions in type_check_new.mli and changed real literals slightly
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index 0b3d3a5e..6a76cec9 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -405,6 +405,8 @@ nexp_typ: { tloc (ATyp_sum ($1, $3)) } | nexp_typ Minus nexp_typ2 { tloc (ATyp_minus ($1, $3)) } + | Minus nexp_typ2 + { tloc (ATyp_neg $2) } | nexp_typ2 { $1 } |