You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6661 Reporter:@ygrek Assigned to:@garrigue Status: closed (set by @xavierleroy on 2016-12-07T10:36:55Z) Resolution: not fixable Priority: normal Severity: major Version: 4.02.1 Fixed in version: 4.03.0+dev / +beta1 Category: ~DO NOT USE (was: OCaml general) Monitored by:@hcarty
IIUC previous versions of compiler expanded the module alias and so the other module had all the information of module structure contents, but nowadays it sees only the module alias and cannot dig into it without cmi.
The text was updated successfully, but these errors were encountered:
The whole point of module alias being avoiding to duplicated information in the cmi's, this cannot be avoided: the signature of Xmlm is no longer included in a.cmi.
A workaround is to write an explicit mli.
(Changes didn't document this incompatibility; fixed in 15597)
Original bug ID: 6661
Reporter: @ygrek
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2016-12-07T10:36:55Z)
Resolution: not fixable
Priority: normal
Severity: major
Version: 4.02.1
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @hcarty
Bug description
$ cat a.ml
module X = Xmlm
type x = X.encoding
$ cat b.ml
type q = A.X.encoding
$ opam config exec --switch 4.01.0 -- bash -c 'ocamlc -I $(ocamlfind query xmlm) -c a.ml && ocamlc -c b.ml'
$ opam config exec --switch 4.02.1 -- bash -c 'ocamlc -I $(ocamlfind query xmlm) -c a.ml && ocamlc -c b.ml'
File "b.ml", line 1, characters 9-21:
Error: Unbound type constructor A.X.encoding
Steps to reproduce
IIUC previous versions of compiler expanded the module alias and so the other module had all the information of module structure contents, but nowadays it sees only the module alias and cannot dig into it without cmi.
The text was updated successfully, but these errors were encountered: