avoid record disambiguation warning
This commit is contained in:
parent
3f5ebae989
commit
cad0bb92da
|
@ -956,7 +956,7 @@ let typeof sid =
|
||||||
with Not_found ->
|
with Not_found ->
|
||||||
try
|
try
|
||||||
let lbl_desc = Env.lookup_label id env in
|
let lbl_desc = Env.lookup_label id env in
|
||||||
let (path, ty_decl) = from_type_desc lbl_desc.Types.lbl_res.desc in
|
let (path, ty_decl) = from_type_desc lbl_desc.Types.lbl_res.Types.desc in
|
||||||
let id = Ident.create (Path.name path) in
|
let id = Ident.create (Path.name path) in
|
||||||
Some (Printtyp.tree_of_type_declaration id ty_decl Types.Trec_not)
|
Some (Printtyp.tree_of_type_declaration id ty_decl Types.Trec_not)
|
||||||
with Not_found ->
|
with Not_found ->
|
||||||
|
@ -978,7 +978,7 @@ let typeof sid =
|
||||||
let id = Ident.create (Path.name path) in
|
let id = Ident.create (Path.name path) in
|
||||||
Some (Printtyp.tree_of_exception_declaration id exn_decl)
|
Some (Printtyp.tree_of_exception_declaration id exn_decl)
|
||||||
| _ ->
|
| _ ->
|
||||||
let (path, ty_decl) = from_type_desc cstr_desc.Types.cstr_res.desc in
|
let (path, ty_decl) = from_type_desc cstr_desc.Types.cstr_res.Types.desc in
|
||||||
let id = Ident.create (Path.name path) in
|
let id = Ident.create (Path.name path) in
|
||||||
Some (Printtyp.tree_of_type_declaration id ty_decl Types.Trec_not)
|
Some (Printtyp.tree_of_type_declaration id ty_decl Types.Trec_not)
|
||||||
with Not_found ->
|
with Not_found ->
|
||||||
|
|
Loading…
Reference in New Issue