Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000043OCaml~DO NOT USE (was: OCaml general)public2000-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
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker