Original bug ID: 5281
Reporter: jm
Status: closed (set by @damiendoligez on 2011-06-01T22:24:38Z)
Resolution: fixed
Priority: normal
Severity: trivial
Version: 3.13.0+dev
Fixed in version: 3.12.1+dev
Category: ~DO NOT USE (was: OCaml general)

Bug description

% cat >a.ml <<<"type t = (string, t) Hashtbl.t"
% cat >b.ml <<<"type t = A.t"
% ocamlc -rectypes -c a.ml
% ocamlc -c b.ml
File "b.ml", line 1, characters 0-1:
Error: Unit A imports from B, which uses recursive types.
The compilation flag -rectypes is required

correction :

diff --git a/typing/env.ml b/typing/env.ml
index 0442479..6eb5585 100644
--- a/typing/env.ml
+++ b/typing/env.ml
@@ -869,4 +869,4 @@ let report_error ppf = function
| Need_recursive_types(import, export) ->
fprintf ppf
"@[Unit %s imports from %s, which uses recursive types.@ %s@]"

•    import export "The compilation flag -rectypes is required"
  

•    export import "The compilation flag -rectypes is required"