Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005858OCamlOCaml typingpublic2012-12-18 10:312015-12-11 19:21
ReporterJulien Signoles 
Assigned Togarrigue 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version4.00.2+dev 
Summary0005858: Assert failure during typing of class
Description$ less bug.mli
class type c = object end
module type S = sig class c: c end
$ ocamlc -c bug.mli
Fatal error: exception Assert_failure("typing/", 629, 54)

Renaming the class 'c' into 'd' solves this bug.

I guess this program is erroneous since the type of S.c does not refer to the class type c outside S but to S.c itself (even if I'm not sure that scoping rules of class identifiers is precisely documented).

Anyway crashing instead of reporting a nice error message is a bit extreme ;-).
TagsNo tags attached.
Attached Files

- Relationships
has duplicate 0006083closed Fatal error: exception Assert_failure("typing/", 629, 54) 

-  Notes
garrigue (manager)
2012-12-18 11:03

Fixed in trunk and 4.00, at revisions 13137 and 13138.

This was a bug in the detection of unused types.
Alain, you may want to have a look at it...
ivg (reporter)
2013-07-12 07:33

Not sure, if this is the same bug:

cat test.mli
class a: a -> a

ocamlc -c test.mli
Fatal error: exception Assert_failure("typing/", 629, 54)
garrigue (manager)
2013-07-12 07:56

Looks so. At least it is already fixed in subversion:

ocamlc -c test.mli
File "test.mli", line 1, characters 15-16:
Error: The class type a is not yet completely defined

- Issue History
Date Modified Username Field Change
2012-12-18 10:31 Julien Signoles New Issue
2012-12-18 11:03 garrigue Note Added: 0008625
2012-12-18 11:03 garrigue Status new => resolved
2012-12-18 11:03 garrigue Fixed in Version => 4.00.2+dev
2012-12-18 11:03 garrigue Resolution open => fixed
2012-12-18 11:03 garrigue Assigned To => garrigue
2013-07-12 07:33 ivg Note Added: 0009761
2013-07-12 07:56 garrigue Note Added: 0009762
2013-07-20 21:20 lpw25 Relationship added has duplicate 0006083
2015-12-11 19:21 xleroy Status resolved => closed

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker