Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000043OCamlOCaml generalpublic2000-02-28 17:562000-03-31 13:25
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000043: Insufficient CRC checking in interactive system


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 "" with contents
   let x=17
1. compile your code "" -> "m.cmo", "m.cmi"
2. create the interface "m.mli" with contents
   val x:string
3. compile the interface "m.mli" -> "m.cmi"
4. run ocaml -I .
        Objective Caml version 2.04

# #load "m.cmo";;
# M.x;;
Bus error

Best regards


TagsNo tags attached.
Attached Files

- Relationships

-  Notes
administrator (administrator)
2000-03-31 13:25

Fixed in 3.00

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

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker