dylan changed the topic of #ocaml to: OCaml 3.09.1 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
Raziel has joined #ocaml
zigong has quit [Read error: 104 (Connection reset by peer)]
_fab has quit [Remote closed the connection]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Raziel has left #ocaml []
malc_ has quit ["leaving"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Oatmeat|umn has quit [Read error: 104 (Connection reset by peer)]
rillig has quit ["exit(EXIT_SUCCESS)"]
khaladan has quit [Read error: 104 (Connection reset by peer)]
mauke_ has joined #ocaml
mauke has quit [Read error: 104 (Connection reset by peer)]
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
mauke_ has quit [Remote closed the connection]
mauke has joined #ocaml
Nutssh has joined #ocaml
ramkrsna has quit [Read error: 110 (Connection timed out)]
ramkrsna has joined #ocaml
tristram has quit [Remote closed the connection]
tristram has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
__DL__ has joined #ocaml
Smerdyakov has quit ["Leaving"]
Skal has joined #ocaml
flux__ has quit [Read error: 113 (No route to host)]
flux__ has joined #ocaml
noj has quit [herbert.freenode.net irc.freenode.net]
noj has joined #ocaml
ramenboy has joined #ocaml
_fab has joined #ocaml
vodka-goo has joined #ocaml
slipstream has quit [Read error: 104 (Connection reset by peer)]
Nutssh has quit ["Client exiting"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
slipstream has joined #ocaml
ramkrsna has quit [Read error: 110 (Connection timed out)]
Tachyon76 has joined #ocaml
ChipsterOne has joined #ocaml
ChipsterOne has left #ocaml []
revision17_ has quit [Read error: 110 (Connection timed out)]
Tachyon76 has quit ["Leaving"]
ramkrsna has joined #ocaml
Snark has joined #ocaml
Yorick has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Skal has quit [Remote closed the connection]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
tristram has quit [Remote closed the connection]
tristram has joined #ocaml
malc_ has joined #ocaml
vezenchio has joined #ocaml
zigong has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Smerdyakov has joined #ocaml
Revision17 has joined #ocaml
Smerdyakov has quit ["Leaving"]
Smerdyakov has joined #ocaml
Raziel has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
vodka-goo has quit ["Leaving"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Oatmeat|umn has joined #ocaml
zigong has quit ["using sirc version 2.211+KSIRC/1.3.12"]
khaladan has joined #ocaml
demitar_ has joined #ocaml
__DL__ has quit [SendQ exceeded]
smimou has joined #ocaml
__DL__ has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
vodka-goo has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Schmurtz has joined #ocaml
zigong has joined #ocaml
Yorick has left #ocaml []
mikeX has joined #ocaml
<mikeX> hello, is there a way to pass options to the preprecessor (like you do for example with -ccopt)
<vodka-goo> you're thinking of something like gcc's -D option ?
<mikeX> yes exactly vodka-goo
palomer has joined #ocaml
<palomer> how do you write lambdas in ocaml?
<mikeX> lambdas as in python lambdas?
<palomer> or sml lambdas
<palomer> or haskell lambdas
<palomer> I'm not familiar with the syntax
<mikeX> i'm not sure, but maybe 'fun x y = x + y' is what you want
<mikeX> as an example
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
<palomer> (fun (a:'a)->a) (fun a -> a);; <--I can't believe this typechecks
<smimou> why ?
<palomer> because, well, that would mean that the first expression would have type: (forall x. x->x) -> (forall x. x-> x)
<smimou> it is not the case
<smimou> ah sorry misread
<palomer> and, erm, inferring that type is quite hard
<smimou> the type is forall x.x->x
<palomer> right
<palomer> but in H-M, it would be forced to infer the type I just pasted
<palomer> so I'm guessing the ocaml core is based on an extension of H-M
<palomer> hrmmm
<smimou> forall x.(x->x)->(x->x) is a subtype of forall x.x->x
mikeX has quit [Read error: 104 (Connection reset by peer)]
mikeX has joined #ocaml
tristram has quit [Remote closed the connection]
tristram has joined #ocaml
<flux__> hmph, sexplib fails in type foo = { bar : string } (single field), anyone seen that before?
<flux__> hm, noup, that's not it actually
<flux__> a-ha, it's some other pa with interesting interactions
Snark has quit ["Leaving"]
<flux__> it's pr_dump.cmo that causes the problem (Uncaught exception: Failure("singleton tuple pattern"))
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
zigong has quit ["using sirc version 2.211+KSIRC/1.3.12"]
zigong has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
zigong has quit ["using sirc version 2.211+KSIRC/1.3.12"]
__DL__ has quit ["Bye Bye"]
mikeX has joined #ocaml
zigong has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Skal has joined #ocaml
Godeke has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
smimou has quit ["bli"]
zigong has left #ocaml []
mauke has quit [Remote closed the connection]
mauke has joined #ocaml