diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser.mly b/src/parser.mly index fb4c322e..60f50737 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -965,11 +965,11 @@ nums: { $1::$3 } nexp_constraint: - | typ Eq typ + | nexp_typ Eq nexp_typ { NC_aux(NC_fixed($1,$3), loc () ) } - | typ GtEq typ + | nexp_typ GtEq nexp_typ { NC_aux(NC_bounded_ge($1,$3), loc () ) } - | typ LtEq typ + | nexp_typ LtEq nexp_typ { NC_aux(NC_bounded_le($1,$3), loc () ) } | tyvar IN Lcurly nums Rcurly { NC_aux(NC_nat_set_bounded($1,$4), loc ()) } |