01:09 <mrsolo_> exception Unix.Unix_error(3, "write", "") ..what's 3?

01:09 <mrsolo_> EACESS?

01:10 <mikeX> mrsolo_: there's a function for printing the corresponding messages i think

01:11 <mikeX>

01:11 <mikeX> val error_message : error -> string

01:11 <mikeX> there's also: handle_unix_error f x applies f to x and returns the result. If the exception Unix_error is raised, it prints a message describing the error and exits with code 2.

01:11 <mikeX>

01:11 <mrsolo_> thanks!

01:12 <mikeX> np :)

02:29 <perspectivet> Does anyone know how to get call C++ from ocaml in a standalone native executable? I've been able to call some C stubs from ocaml. I've made extern "C" {...} wrappers from my C++ code then called it from from my C stub functions. Everything seems to compile and link (with hand compilation steps) but the standalone exe does nothing when run? Any pointers to Ocaml bindings for C++ libs would be ideal.

02:30 <zmdkrbou> beuark c++

02:30 <zmdkrbou> sprotch

02:30 <zmdkrbou> time to sleep in here

02:42 <perspectivet> Are beuark and sprotch ocaml bindings to C++ libs?

09:39 <pabs3> Hi all. What would "Unbound module Foo" mean in the context of running ocamlc?

09:40 <vodka-goo> pabs3: it means OCaml doesn't find the compiled interface for module Foo

09:41 <vodka-goo> you probably have a foo.ml file in the current dir, you need to compile it before

09:42 <pabs3> hmmm. I see now. I wonder why install.ml ignored that module

09:42 <pabs3> noob

09:51 <vodka-goo> I think I built it once

09:51 <vodka-goo> then built a flash hello world

09:51 <vodka-goo> then thought it was no use going farther without the MX classes (or something like that)

09:51 <vodka-goo> you need to buy macromedia's classes, right ?

09:52 <pabs3> not really sure, just playing around for now

09:53 <vodka-goo> good luck

09:53 <pabs3> hmm > ocamlc -custom -o ../../bin/mtasc-byte /usr/lib/ocaml/3.09.1/extlib/extLib.cma ../extc/extc.cma ../swflib/swflib.cma expr.cmo lexer.cmo parser.cmo typer.cmo class.cmo plugin.cmo genSwf.cmo main.cmo

09:53 <pabs3> gcc: zlib.lib: No such file or directory

10:14 <pabs3> cool, got it compiled

10:43 <pabs3> ok, how would I find out the appropriate -I directory for a specific library from the command line?

14:08 <dylan> pabs3: Perhaps you should look into ocamlfind (also called findlib).

14:08 <pabs3> yeah, got an answer about that elsewhere

14:09 <dylan> sioer

14:09 <dylan> er, super.

19:22 <mrsolo> does microsoft toolchain end up with smaller compiled code than mingw toolchain?

23:04 <AlfredR314> i am trying to write a function that composes any function of a single parameter, with itself, k times. what am i doing wrong? http://pastebin.com/565890

23:14 <dvekravy> type of id is 'a -> 'a, so self_comp returns 'a -> 'a so f has type ('a -> 'a) -> 'a -> 'a, but sqrt has type float -> float (matchable with 'a -> 'a)

23:17 <AlfredR314> okay, here's what i'm not clear on. ('a -> 'a) means a function from a' to a' as a parameter, right? and i'm not sure how to juggle the expressions to make them correct.

23:18 <AlfredR314> i'm with you up to "but sqrt"

23:18 <dvekravy> yes, id has to be float

23:18 <dvekravy> # let rec self_comp f k = if k > 0 then (f (self_comp f (k - 1))) else 1.0;;

23:18 <dvekravy> # self_comp (sqrt) 2;;

23:18 <dvekravy> - : float = 1.

23:19 <pango> let rec self_comp f k =

23:19 <pango> let comp f g = (fun x -> f (g x)) in

23:19 <pango> if k > 0 then comp f (self_comp f (k - 1)) else id;;

23:19 <AlfredR314> okay, so, what if i want the type to be inferred for any single parameter function?

23:22 <AlfredR314> pango, that does exactly what i want

23:22 <AlfredR314> thank you both

23:22 <kig> does ocaml do currying?

23:22 <AlfredR314> kig: yes, big part of http://www.ocaml-tutorial.org/ on it

23:22 <kig> ok, thanks