Hi everybody ! I'm new in this group, it's my first post ! I want to say that if you use ocamldoc, you may use these comments: (** your comment that will be in...
Hello ! You can maybe try to download the version for MinGW and download MinGW. If there is no problem, you will can compile with ocamlopt... Else you can use...
I believe you can use the MS VC++ express distribution to get free microsoft compilers installed, and it's free for educational uses. You might have to use the...
Hello to everybody! As I do more or less every year, I've put online a downloadable version of the ML archive. It is at...
Stalkern 2 (Fastweb)
stalkern2@...
Feb 3, 2009 9:22 am
10762
Hello, I'm having trouble getting tuareg to work in GNU Carbon Emacs on Mac OS 10.5.6. I've installed Ocaml and can launch it from the terminal. I've...
I haven't tried putting the files in the site-lisp directory, but the second option described in the README works for me. Put them in a custom location "foo"...
... You need some very simple patches to make PG'OCaml work with the new version of Calendar >= 2.0. I actually have a rather long patch queue and PG'OCaml is...
Hi all, I am getting the following error compiling godi-ocamlgraph 1.0#1 on ... src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx...
I installed the mingw version of OCaml for windows and set up the cygwin tools. When attempting to create an executable of a simple factorial program, this...
... You need to install the mingw gcc in cygwin (package gcc-mingw). I think "C:\temp\cygwin\lib\gcc\i686-pc-cygwin\3.4.4" belong to the cygwin gcc (package...
Hi all, I'm trying to write a function that checks if a given word can be formed with the letters of another one (frequency matters). For example: # isMadeOf...
citromatik
miguel.pignatelli@...
Feb 11, 2009 3:18 pm
10773
... It seems easier to convert each string to lists, sort them and scan them in parallel: "tract" -> acrtt "architect" -> accehirtt Martin ... -- ...
... Nice! I often underestimate the power of pattern-matching. Just for the record, since I'm trying to get the habit of thinking in functional style, I will...
citromatik
miguel.pignatelli@...
Feb 11, 2009 4:26 pm
10776
... Thanks for responding. My cygwin installation was fouled up because I had unselected, selected, and re-selected so many packages. I removed it and...
Hi all, How would you indent this? Mysql.iter ~f:(fun a -> Array.iter (fun x -> match x with Some v -> Printf.printf "%s " v | None -> Printf.printf "NULL " )...
citromatik
miguel.pignatelli@...
Feb 12, 2009 11:25 am
10778
Hi, I prefer something like: Mysql.iter ~f:(fun a -> Array.iter (fun x -> match x with ... Printf.printf "\n") res ;; If I recall correctly their has already...
... Now I tend to use this: Mysql.iter ~f:( fun a -> Array.iter ( fun x -> match x with Some v -> Printf.printf "%s " v ... ) a; Printf.printf "\n" ) res ... ...
I wrote a recursive function to find the content between two strings. But the problem is that if this file is too big, I will get Stack_overflow. Could anybody...
... The problem is that you're making the recursive call inside the try expression. When you use try OCaml puts some data on the stack, so your function isn't...
... I've taken a few liberties: open Printf let () = let print_row row = Array.iter ( function x -> ... ) row; printf "\n" in Mysql.iter ~f:print_row rows It...
Hello, I was wondering if a program written in OCaml needs to be theorem-proved to be sure it does what it is intended. I mean, is there a theorem prover for...
To just write a program in OCaml, you don't need to do a proof (other than it type checking). I don't know a lot about formal methods, so I'm not sure what...
Hello, thank you very much. The answer was very helpful. I'll try some small example like checking if a list is a sublist of another list. Best regards, Silviu...
... You would imagine so, but I've never heard of any. OCaml is a popular implementation language in the formal methods community, but the source languages are...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
