diff options
author | Jeremy Yallop <yallop@gmail.com> | 2020-08-05 11:00:19 +0100 |
---|---|---|
committer | Jeremy Yallop <yallop@gmail.com> | 2020-08-05 11:21:11 +0100 |
commit | 27f1012bc63e062adb63b4b9d6639588bfe1356a (patch) | |
tree | 778b60f5387e2f5281c606f7e012679e0a801804 /toplevel/topdirs.ml | |
parent | aa06fa819ef1c6774e73bd8ca1a5c1a78397ff45 (diff) | |
download | ocaml-27f1012bc63e062adb63b4b9d6639588bfe1356a.tar.gz |
Revert to printing types as 'nonrec' to avoid a bug
See: https://github.com/ocaml/ocaml/issues/9828
Diffstat (limited to 'toplevel/topdirs.ml')
-rw-r--r-- | toplevel/topdirs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 20e6912ae6..530a927f8d 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -556,7 +556,7 @@ let () = reg_show_prim "show_type" (fun env loc id lid -> let _path, desc = Env.lookup_type ~loc lid env in - [ Sig_type (id, desc, Trec_first, Exported) ] + [ Sig_type (id, desc, Trec_not, Exported) ] ) "Print the signature of the corresponding type constructor." |