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
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000043: Insufficient CRC checking in interactive system
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
1. compile your code "m.ml" -> "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

Jacek

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000311)
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