0005918: Short-paths compiler patch causes crash on undefined record label in recursive modules

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005918

OCaml

OCaml typing

public

2013-02-12 14:58

2013-02-13 00:46

Reporter

nuffer

Assigned To

garrigue

Priority

normal

Severity

minor

Reproducibility

always

Status

feedback

Resolution

open

Platform

OS Version

Product Version

4.00.1

Target Version

Fixed in Version

Summary

0005918: Short-paths compiler patch causes crash on undefined record label in recursive modules

Description

Using a compiler with Jacques Garrigue's short paths compiler patch the type checker crashes trying to generate "record field labels are undefined" errors for types inside recursive modules.

Steps To Reproduce

Using ocaml-4.00.1 with Jacques Garrigue's short paths patch, compile:

module rec A : sig
  type t
end = struct
  type t =
    { a : unit;
      b : unit;
    }

  let _ = { a = () }
end
;;

And receive something like:

Fatal error: exception Assert_failure("typing/typecore.ml", 257, 13)

Tags

No tags attached.

Attached Files

Relationships

Notes
(0008838) garrigue (manager) 2013-02-13 00:46	The short paths patch is now merged in trunk. Please use trunk, as the patch will only be supported in 4.01. And I couldn't reproduce your bug using trunk.

Issue History
Date Modified	Username	Field	Change
2013-02-12 14:58	nuffer	New Issue
2013-02-13 00:46	garrigue	Note Added: 0008838
2013-02-13 00:46	garrigue	Assigned To	=> garrigue
2013-02-13 00:46	garrigue	Status	new => feedback