diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-09-30 14:39:38 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-09-30 14:39:38 +0000 |
| commit | bb6e8579a30aa74a44d1f0bad77e4e39cb2cf35b (patch) | |
| tree | c75dd003bba425f8e8b3da5cc0beb7b66725713e /camlp4/ocaml_src | |
| parent | 877881c01d0edee34047d75aae93e75032e341b2 (diff) | |
*** empty log message ***
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src')
| -rw-r--r-- | camlp4/ocaml_src/camlp4/ast2pt.ml | 6 |
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" |