Original bug ID: 5277
Reporter: @lefessan
Assigned to: @damiendoligez
Status: closed (set by @damiendoligez on 2011-08-04T15:00:46Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: all
OS: all
OS Version: all
Version: 3.12.0
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #5238

Bug description

In parsing/location.ml, the default value for input_name is "none", but a test in the same file assumes the default is "", and tries to open the file otherwise, which generates a failure in the case of "none" that prevents correct display of the message.

Steps to reproduce

ocamlc -pack -o x.cmo y.cmi
where y.mli contains some "val x : int".

File attachments

• 0001-Fix-the-case-where-input_name-is-not-initialized-i.e.patch