git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2013-04-09 14:12:27 +00:00
parent d1751e4738
commit 3df9fa2762
1 changed files with 8 additions and 6 deletions

View File

@ -354,6 +354,12 @@ Rationale:
And same in the Typedtree.
Rationale:
- More faithful representation of the syntax really supported
(i.e. the ".." can only be the last field).
- One less "concept" in the Parsetree.
--- Do not require empty Ptyp_poly nodes in the Parsetree
@ -365,14 +371,10 @@ Rationale:
- Less chance that Ast-related code forget to insert those nodes.
To be discussed: should we segrate simple_poly_type from core_type in the
Parsetree to prevent Ptyp_poly nodes to be inserted in the wrong place?
Rationale:
- More faithful representation of the syntax really supported
(i.e. the ".." can only be the last field).
- One less "concept" in the Parsetree.
=== More TODOs
- Adapt pprintast.