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: 3662 Reporter: administrator Assigned to:@gasche Status: closed (set by @xavierleroy on 2015-07-24T08:39:00Z) Resolution: fixed Priority: normal Severity: feature Fixed in version: 4.00.0 Category: ~DO NOT USE (was: OCaml general)
i just upgraded to 3.08.3, and by mistake did a 'make' in a directory which had
.cmi's compiled with 3.07 still lying around.
the error message was "misc.mli is not a compiled interface"
it would be good (esp for beginners who might get confused) if the error message
could say "this interface is compiled with another version of ocaml" or stg like
that.
thanks
henri
The text was updated successfully, but these errors were encountered:
Original bug ID: 3662
Reporter: administrator
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2015-07-24T08:39:00Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 4.00.0
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: henri dubois-ferriere
Version: 3.08.3
OS: debian
Submission from: lsne-catv-dhcp-41-122.urbanet.ch (80.238.41.122)
i just upgraded to 3.08.3, and by mistake did a 'make' in a directory which had
.cmi's compiled with 3.07 still lying around.
the error message was "misc.mli is not a compiled interface"
it would be good (esp for beginners who might get confused) if the error message
could say "this interface is compiled with another version of ocaml" or stg like
that.
thanks
henri
The text was updated successfully, but these errors were encountered: