Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005281OCamlOCaml generalpublic2011-06-01 13:272011-06-02 00:24
Reporterjm 
Assigned To 
PrioritynormalSeveritytrivialReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.13.0+dev 
Target VersionFixed in Version3.12.1+dev 
Summary0005281: typo in error message reporting Need_recursive_types.
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
         "@[<hov>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"
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-06-01 13:27 jm New Issue
2011-06-02 00:24 doligez Status new => closed
2011-06-02 00:24 doligez Resolution open => fixed
2011-06-02 00:24 doligez Fixed in Version => 3.12.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker