Hello, I have what seems a strange result. Maybe I am overlooking something obvious. I am using the CuDD library via Ocaml in the following function: let rec...
... Without looking deeply at your code, I suspect that your problem is in: expr1 :: expr2 You can't assume that expr1 will be evaluated before expr2. Always...
Martin, ... .. ... Which I did in fact. ... That's it! I was already thinking of race-conditions and what not. I was not understanding why the similar...
... (1) Post a minimal example to the menhir mailing list. (2) Try adding type declarations to some of the values in the code (with what you think is the...
Hello, ... I have been unable to make a minimal example because it involves parsers and lexical analyser. Anyway, after a lot of experimenting and testing it...
Hello, I'm trying to read binary data from a 176kB file, and find that: input read a maximum of 4096 byte a a time. Unix.read, 16384 bytes at a time. it's on...
Philippe Strauss
philou@...
Aug 10, 2008 9:41 pm
10001
... The Bigarray modules has functions to mmap files. See map_file on the page below: http://caml.inria.fr/pub/docs/manual-ocaml/libref/Bigarray.Genarray.html...
Hi all. I'm trying to use the openin syntax extension with ocamlbuild but get the following errror: $ ocamlbuild bar.native + /godi/bin/ocamlc.opt -c -pp...
... I believe that the input function behaviour is due to the buffering of the channels of the stdlib (the input function won't read more than the what is...
Mathias Kende
mathias@...
Aug 11, 2008 11:30 am
10005
... Hello Richard, Here it is, attached. it read data from a file (raw float32 in binary, intel native endiannes format), and plot it in a gtkglarea window. ...
Philippe Strauss
philou@...
Aug 11, 2008 11:54 am
10006
oops attachement are removed it seems. the 3 files are available here: http://philou.ch/glplot regards. -- Philippe Strauss http://philou.ch...
Philippe Strauss
philou@...
Aug 11, 2008 1:29 pm
10007
Adding the following command to After_rules gets me one step further. However, I don't know why it's needed since camlp4 is a built-in library, isn't it? ...
I wrote the below function to print a string to a list of out channels but doesn't quite work so well. It works with something like printM [stdout;stderr] "a...
... This sounds like a class exercise. You should move the list iteration so it happens inside the k function, then it'll work. Rich. -- Richard Jones Red Hat...
... channels but ... stderr] ... It's not a class exercise. I have to learn ocaml to do this research. Moving the list.iter inside the function works but...
Hello I would like to know if some thing like: type 'a expr = Test of 'a module Var = struct type 'a t = 'a expr let compare = compare end module VarSet =...
... This was the working version I came up with: let printMM ocs = let output result = List.iter (fun oc -> output_string oc result) ocs in Printf.ksprintf...
... Hash: SHA1 ... No. Set.OrderedType requires a monomorphic type. Var.t in contrast is a polymorphic type. PMap in ExtLib provides a polymorphic Map which...
Peng Zang
peng.zang@...
Aug 14, 2008 1:39 pm
10014
Peng, ... Thanks for the pointer. Regards, Hugo F. ... http://www.connettivo.net/cntprojects/ocaml_beginners/ ... at http://caml.inria.fr ... Groups Links...
... Rather that stating a broken solution, you will get much more productive responses if you pose a problem objectively. In this case, the problem you are...
... Hash: SHA1 ... I have a different view of this although I respect Jon's opinion. I think parametric polymorphism and object based solutions are great. The...
Peng Zang
peng.zang@...
Aug 16, 2008 9:35 pm
10018
Hi Jon, ... True. But I just wanted to confirm that I was not missing something obvious and so tried to "get to the point". ... Correct. ... Pardon my...
... In this case, Hugo has said he wishes to use only three different type/module arguments. So I don't think it will be a "pain" because you're talking about ...
... You often want to associate functions with a type, such as a custom comparison function. Modules let you do this. Polymorphism (in OCaml) does not....
... To be more precise: the polymorphic comparison raises the Invalid_argument exception on abstract and functional values: # let f x = x + 1;; val f : int ->...
Christophe TROESTLER
Christophe.Troestler+...
Aug 17, 2008 8:44 pm
10022
... There were no native stack traces at that time. Byte code stack traces were available but they massively increase the time required to reproduce a run-time...
... Ok, I understand now. Never encountered this problem as you describe it. ... Yes, this will do. I can always pick 'a and use it accordingly. ... In other...