Original bug ID: 7207
Reporter: @stedolan
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-09-24T15:32:12Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.03.0+dev / +beta1
Category: typing
Monitored by: @gasche

Bug description

If I write the following incorrect program:

module F (X : sig end) = struct type t = int end
type t = F(Does_not_exist).t

then 4.02.1 gives me a sensible error message:

File "moderror.ml", line 2, characters 9-28:
Error: Unbound module Does_not_exist

but 4.03+beta1 and trunk do not:

Cannot find file /home/stephen/coding/moderror.ml.

Running ocamlc -i crashes with Not_found.