0003662: more helpful error message with incompatible .cmis

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003662

OCaml

OCaml general

public

2005-05-24 21:43

2005-06-22 14:25

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0003662: more helpful error message with incompatible .cmis

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

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Relationships

Notes
There are no notes attached to this issue.