Hello, on the Caml-list there the term "boxed values" is often used. What's a boxed value and what's an unboxed value? TIA, Oliver -- "If you desire sanity in...
Hallo!!! I am trying to switch from 'The Cygwin port of Objective Caml' to 'The native Win32 port built with Mingw' and encounter some problems with linking. I...
I've been thinking a lot about OCaml's restriction that record field names need to be unique. It seems like an uncomfortable tradeoff, and digging into the...
Hi, all There is code as follows: type myType = .... let myVar : myType option = None ... It seems that both 'option39; and 'None' are not keyword. Where in...
Hi all. I usually program on a Linux machine. I've recently written a little app that one of friends is interested in playing with on his Windows machine. In...
Hi there, I wonder how I can extend both a module F and its sub-module S (which is then referred to as F.S) I know I can "include" a module and extend with my...
i'm trying extending my knowledge of computer languages, and at this time I'm trying to learn Caml Light, a language a bit different from what I'm used to....
... Thank you, but I don't want to reinstall OCaml on my school server (and I doubt I am authorized to do so). OCaml is already installed, but how can I add...
Hello, I compiled successfully a file that required the camlp4 preprocessor on my machine ; but on my school machine, the camlp4 seems to not be installed, ...
Hello, is it possible to define a class in OCaml, which creates objects that take an object of it's own type as an argument? Or maybe "<object39;s_type> option"...
Hi, a naive question: how to provide several files as one module ? (there's only one main file the functions of which I wish to be visited outside, others are ...
Hi, I got a problem when playing with "ocamldep". Since I'm a beginner, if it's because I missed something, my apologies first. Consider the two example cases:...
Hello, Does someone know how to print a newline character on an output channel, Operating System independently? I would like to do print_newline out_channel ;;...
Hello, I am new to the list and am just starting to learn Ocaml by going through the book "The Functional Approach to Programming." On page 54, at the bottom...
Hello, I read the Thread section of the manual carefully, since I'm to use them in a near future. But I did not understand the meaning of "alternative" in the...
Now I am going through Jason Hickey's Introduction to Ocaml, and have encountered an anomaly in section 2.1.5 string: character strings. This example given in...
Hello folks, I'm profiling an ocaml program compiled with ocamlopt -p on linux/x86, and I'm having trouble reading the gprof output. In particular, is there a...
Hi, I'm using Marshal to turn a tree structure into an integer, I wonder how to explicitly define that structure? For example, if I use this: let s =...
Hi all!! I wrote a program and would like to switch modules depending on the input. In short I am looking for something like that: myfunction module_a x = let...
Hi all, I have a question: if I want to leave the implementation of a type in a module (btw in a mli/ml pair) accessible, should I duplicate its code as in ...
... That's exactly the reason why extlib exists - to provide useful functions to the community which are not part of the standard library. Rich. -- Richard...
I tried this to write some string on a file, seems very straightforward, but it just doesn't write! let oFile="~/out.txt";; let oc = open_out oFile;; output...
... Please give the command you use. Did you try "ocaml file.ml" ? If so you need to tell it where to find the implementation of "Dumper" (it depends on...
I wonder how can I load a Big_Int module in ML? I tried open, use, and none of them worked. I need to handle some arbitrarily huge numbers. Thanks a lot!...
Are there commands to list all the modules in the present OCaml toplevel ( or loaded in the executable if using a compiled version )? A way of listing all the...
Hello, I sometimes heard/read about functional objects and that OCaml can handle these. But most often OO-people use OO-features and FPL-people use ...