summaryrefslogtreecommitdiffstats
path: root/camlp4/ocaml_src
diff options
context:
space:
mode:
Diffstat (limited to 'camlp4/ocaml_src')
-rw-r--r--camlp4/ocaml_src/camlp4/ast2pt.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/camlp4/ocaml_src/camlp4/ast2pt.ml b/camlp4/ocaml_src/camlp4/ast2pt.ml
index d742b5563..6839428ea 100644
--- a/camlp4/ocaml_src/camlp4/ast2pt.ml
+++ b/camlp4/ocaml_src/camlp4/ast2pt.ml
@@ -169,10 +169,10 @@ let rec ctyp =
| TyObj (loc, fl, v) -> mktyp loc (Ptyp_object (meth_list loc fl v))
| TyCls (loc, id) ->
mktyp loc (Ptyp_class (long_id_of_string_list loc id, [], []))
- | TyLab (loc, _, _) -> error loc "labeled type not allowed here"
+ | TyLab (loc, _, _) -> error loc "labelled type not allowed here"
| TyLid (loc, s) -> mktyp loc (Ptyp_constr (lident s, []))
- | TyMan (loc, _, _) -> error loc "type manifest not allowed here"
- | TyOlb (loc, lab, _) -> error loc "labeled type not allowed here"
+ | TyMan (loc, _, _) -> error loc "manifest type not allowed here"
+ | TyOlb (loc, lab, _) -> error loc "labelled type not allowed here"
| TyPol (loc, pl, t) -> mktyp loc (Ptyp_poly (pl, ctyp t))
| TyQuo (loc, s) -> mktyp loc (Ptyp_var s)
| TyRec (loc, _, _) -> error loc "record type not allowed here"