one more time
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
d5f16fae7a
commit
7f749ff335
|
@ -218,7 +218,7 @@ let varify_constructors var_names =
|
|||
Ptyp_arrow(label, loop core_type, loop core_type')
|
||||
| Ptyp_tuple lst -> Ptyp_tuple (List.map loop lst)
|
||||
| Ptyp_constr(Lident s, []) when List.mem s var_names ->
|
||||
Ptyp_var ("&s" ^ s)
|
||||
Ptyp_var ("&" ^ s)
|
||||
| Ptyp_constr(longident, lst) ->
|
||||
Ptyp_constr(longident, List.map loop lst)
|
||||
| Ptyp_object lst ->
|
||||
|
|
Loading…
Reference in New Issue