0005865: assert failure in type checker when printing type for valid error

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005865

OCaml

OCaml typing

public

2012-12-26 22:03

2012-12-27 03:40

Reporter

avsm

Assigned To

garrigue

Priority

normal

Severity

crash

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

4.01.0+dev

Summary

0005865: assert failure in type checker when printing type for valid error

Description

With the latest OCaml 4.01.0+dev10 trunk (last commit: "do not diff the patch itself"), I get a typing assertion failure when a type error should be emitted:

File "githubbot.ml", line 19, characters 29-34:
Fatal error: exception Assert_failure("typing/printtyp.ml", 1154, 10)
Raised at file "format.ml", line 195, characters 41-52
Called from file "format.ml", line 423, characters 8-33
Called from file "format.ml", line 438, characters 6-24

The code in question is quite hard to separate out, but the failure is:

prerr_endline m.Github_t.title

where the real record field is "m.Github_t.milestone_title" instead of "title".

Tags

No tags attached.

Attached Files

Relationships

Notes
(0008650) garrigue (manager) 2012-12-27 03:40	Indeed, the case where the type is known but the label name is an undefined qualified name was not handled. Fixed in revision 13161.

Issue History
Date Modified	Username	Field	Change
2012-12-26 22:03	avsm	New Issue
2012-12-27 03:40	garrigue	Note Added: 0008650
2012-12-27 03:40	garrigue	Status	new => closed
2012-12-27 03:40	garrigue	Assigned To	=> garrigue
2012-12-27 03:40	garrigue	Resolution	open => fixed
2012-12-27 03:40	garrigue	Fixed in Version	=> 4.01.0+dev