0005858: Assert failure during typing of class

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005858

OCaml

OCaml typing

public

2012-12-18 10:31

2012-12-18 11:03

Reporter

Julien Signoles

Assigned To

garrigue

Priority

normal

Severity

crash

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

OS Version

Product Version

4.00.1

Target Version

Fixed in Version

4.00.2+dev

Summary

0005858: 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/env.ml", 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 ;-).

Tags

No tags attached.

Attached Files

Relationships

Notes
(0008625) 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...

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