0005281: typo in error message reporting Need_recursive_types.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005281

OCaml

OCaml general

public

2011-06-01 13:27

2011-06-02 00:24

Reporter

Assigned To

Priority

normal

Severity

trivial

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.13.0+dev

Target Version

Fixed in Version

3.12.1+dev

Summary

0005281: 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"

Tags

No 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