diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-03-22 07:10:20 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-03-22 07:10:20 +0000 |
| commit | 73755fef10752eca2708ec6200c13142e59a5d55 (patch) | |
| tree | d045c18a972da3dfa3024854f88304415c1a689d /parsing/parser.mly | |
| parent | 061c6ad1b036cd80a8e2fc5e1ad84a3975db1341 (diff) | |
| download | ocaml-fixedtypes.tar.gz | |
rename fixed types as privatefixedtypes
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 02f94b2202..4e2505be01 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1158,8 +1158,8 @@ type_kind: { (Ptype_variant(List.rev $6, $4), Some $2) } | EQUAL core_type EQUAL private_flag LBRACE label_declarations opt_semi RBRACE { (Ptype_record(List.rev $6, $4), Some $2) } - | AS core_type - { (Ptype_fixed, Some $2) } + | EQUAL PRIVATE core_type + { (Ptype_private, Some $3) } ; type_parameters: /*empty*/ { [] } @@ -1218,8 +1218,8 @@ with_constraint: { ($2, Pwith_module $4) } ; with_type_binder: - EQUAL { Ptype_abstract } - | AS { Ptype_fixed } + EQUAL { Ptype_abstract } + | EQUAL PRIVATE { Ptype_private } ; /* Polymorphic types */ |