Permalink
Browse files

Doc.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent d74aa29 commit 8106136bb3ea4840a63ccdf8b217f0d0efbb5192 @alainfrisch alainfrisch committed Apr 16, 2014
Showing with 4 additions and 4 deletions.
  1. +3 −3 experimental/frisch/extension_points.txt
  2. +1 −1 parsing/parsetree.mli
@@ -525,9 +525,9 @@ the revised syntax to distinguish "A x y" from "A (x, y)" (the second one
being wrapped in an extra fake tuple) and get a proper error message
if "A (x, y)" was used with a constructor expecting two arguments.
-If really required, the same feature could be restored by storing the
-flag as an attribute (with very light support in the type-checker), in
-order to avoid polluting the official Parsetree.
+The feature has been preserved, but the information that a
+Pexp_construct/Ppat_constructo node has an "exact arity" is now
+propagated used as am attribute "ocaml.explicit_arity" on that node.
--- Split Pexp_function into Pexp_function/Pexp_fun
@@ -541,7 +541,7 @@ and class_field_desc =
| Pcf_initializer of expression
(* initializer E *)
| Pcf_extension of extension
- (* [%id] *)
+ (* [%%id] *)
and class_field_kind =
| Cfk_virtual of core_type

0 comments on commit 8106136

Please sign in to comment.