diff options
| -rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index c95e4bc3c..40bc868d9 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1171,7 +1171,7 @@ let_binding: val_ident fun_binding { (mkpatvar $1 1, $2) } | val_ident COLON typevar_list DOT core_type EQUAL seq_expr - { (ghpat(Ppat_constraint(mkpatvar $1 1, ghtyp(Ptyp_poly($3,$5)))), $7) } + { (ghpat(Ppat_constraint(mkpatvar $1 1, ghtyp(Ptyp_poly(List.rev $3,$5)))), $7) } | val_ident COLON TYPE lident_list DOT core_type EQUAL seq_expr { let exp, poly = wrap_type_annotation $4 $6 $8 in (ghpat(Ppat_constraint(mkpatvar $1 1, poly)), exp) } |