Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000257OCamlOCaml generalpublic2001-01-05 23:352001-01-08 11:54
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000257: Warning: this expression should have type unit
DescriptionFull_Name: Damir Jamsek
Version: Ocaml 3.00
OS: Linux
Submission from: ss08.nc.us.ibm.com (32.97.136.238)


If you compile the following lines, the warning message only occurs for
the sequential composition in function foo, but not in function bar

comments?
thank you,
--damir

(* file: foobar.ml; Compile: ocamlc -c foobar.ml *)

let foo_tbl = ((Hashtbl.create 1013) : (int,int) Hashtbl.t)
let bar_tbl = Hashtbl.create 1013


let foo f = Hashtbl.find foo_tbl f; failwith "foo"
let bar b = Hashtbl.find bar_tbl b; failwith "bar"

(* function doo helps typing bar_tbl *)
let doo d = d + Hashtbl.find bar_tbl d

   

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker