Original bug ID: 43
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Hello!

I know that Ocaml checks consistency of interface files but I found
the way to overcome this check in the interactive system, version 2.04

The steps which leads to the error are the following:

1. in the empty directory create file "m.ml" with contents
   let x=17
2. compile your code "m.ml" -> "m.cmo", "m.cmi"
3. create the interface "m.mli" with contents
   val x:string
4. compile the interface "m.mli" -> "m.cmi"
5. run ocaml -I .
   Objective Caml version 2.04

#load "m.cmo";;

M.x;;

Bus error

Best regards

Jacek