<
buggs>
how can i increase the stack size ?
<
Riastradh>
Ask it nicely.
<
karryall>
through the OCAMLRUNPARAM env var
<
buggs>
not for ocamlopt ?
<
karryall>
ocamlopt use the system stack
<
buggs>
not even a depth of a million
<
karryall>
that's a lot already !
<
buggs>
not really sml-nj can do 10 mil
<
karryall>
well you
*can* increase it if you really want to
<
buggs>
ah but it does tail recursion
<
karryall>
duh, of course
<
buggs>
it does not when you have a "try .. with" block around
<
buggs>
now the functional version is faster than the imperative one :)
<
buggs>
karryall, in a recursive method it would make sense since the stack only contains all the same "with" blocks
<
buggs>
s/method/function
<
mayhem>
Banana: tu peux refiler l'url de ta reponse stp
magnus has joined #ocaml
yauz_ has joined #ocaml
yauz has quit [Read error: 60 (Operation timed out)]
Herrchen has quit [calvino.freenode.net irc.freenode.net]
cjohnson has quit [calvino.freenode.net irc.freenode.net]
Herrchen has joined #ocaml
cjohnson has joined #ocaml
cjohnson has quit [Read error: 54 (Connection reset by peer)]
monotonom has joined #ocaml
Herrchen_ has joined #ocaml
Herrchen has quit [Read error: 60 (Operation timed out)]
wmg has joined #ocaml
wmg has left #ocaml []
yauz_ is now known as yauz
_saint_ has joined #ocaml
aleator has joined #ocaml
<
aleator>
Hello. Are there decent graphics libraries for ocaml? Any that draws antialiased lines, polygons etc? (google is not with me today.)
mrsolo has joined #ocaml
jao has quit ["work"]
monotonom has quit ["Don't talk to those who talk to themselves."]
Herrchen_ is now known as Herrchen
CiscoKid has joined #ocaml
CiscoKid has quit [Remote closed the connection]
kosmikus|away is now known as kosmikus
<
karryall>
aleator: there's cairo
karryall has quit ["go"]
<
mattam_>
cDlm: it's not a feature, i have it here. Maybe you did not enable show-paren-mode
mattam_ is now known as mattam
smimou has joined #ocaml
karryall has joined #ocaml
bk_ has joined #ocaml
_saint_ has quit ["Segmentation fault. Core dumped."]
buggs^z has joined #ocaml
kinners has joined #ocaml
buggs has quit [Connection timed out]
Snark has joined #ocaml
buggs^z is now known as buggs
<
cDlm>
mattam i did, [] aru highlighted
<
mattam>
and not () ?
<
mattam>
very improbably, it's a wrong color of the show-paren-(mis?)match-face
<
cDlm>
i doubt color is different for () than for []
<
Demitar>
emacs or xemacs? (Well it really wouldn't help me to know but this is shotgun debugging anyway. ;-))
<
mattam>
i doubt too :)
<
mattam>
are you sure you use tuareg-mode and not ocaml-mode ?
<
mattam>
(shotgun debugging continued)
<
cDlm>
gnu emacs 21.3.50.1, tuareg (says C-h m in a caml buffer)
<
mattam>
do you use some custom tuareg setup ?
* Demitar
tries to resist the urge to hack...
<
Demitar>
Ick. When I try to resist the urge to reimplement CrossFire in OCaml I instead feel like playing CF. Evil.
<
cDlm>
i had (setq tuareg-lazy-paren t), but changing it to nil does not fix the pb
<
Demitar>
Are you using it in X11?
cjohnson has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
buggs has quit [Connection timed out]
srv_ has joined #ocaml
srv has quit [Read error: 104 (Connection reset by peer)]
buggs has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
_fab has joined #ocaml
kinners has quit ["zzz"]
karryall has quit [Remote closed the connection]
karryall has joined #ocaml
Nutssh has joined #ocaml
Submarine has joined #ocaml
vezenchio has joined #ocaml
Snark has quit [Read error: 104 (Connection reset by peer)]
Boojum has joined #ocaml
Boojum is now known as Snark
smimou has quit ["Bye"]
maml has joined #ocaml
<
vincenz>
Anyone good at lamdbda-calc?
<
mellum>
vincenz: doing homework?
<
vincenz>
I got this great book called denotational semantics
<
vincenz>
From David A. Schmidt
<
vincenz>
And seeing I used to do EE
<
vincenz>
This is partailly new to me
* vincenz
is a PhD student
<
vincenz>
true:lx.ly.y
<
vincenz>
false:lx.ly.y so I got not:lf.lx.ly((f y) x)
<
vincenz>
now or...
<
Submarine>
oh, Dave Schmidt
<
vincenz>
or:lf.lg.lx.ly....
* vincenz
is doing some of the excercises
* Submarine
is good at lambda-c
<
vincenz>
How do I get or?
<
vincenz>
or:lf.lg.lx.ly....
<
Submarine>
you mean you're encoding true as the first projection and false as the second?
<
vincenz>
(f x (g x y)?
<
vincenz>
that's the defs they used in the excercise
<
vincenz>
true:lx.ly.x
<
vincenz>
false:lx.ly.y
<
vincenz>
so for or
<
Submarine>
and: lx ly la lb (lx (ly la lb) lb)
<
vincenz>
so my or is good?
<
Submarine>
or: lx ly la lb (lx la (ly la lb))
smimou has joined #ocaml
srv_ is now known as srv
kosmikus is now known as kosmikus|away
cjohnson has joined #ocaml
nom` has joined #ocaml
maml has quit [Read error: 104 (Connection reset by peer)]
nom` is now known as maml
Submarine has left #ocaml []
karryall has quit ["tcho"]
Nutssh has quit ["Client exiting"]
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
maihem has joined #ocaml
maml has quit [Read error: 113 (No route to host)]
maml has joined #ocaml
srv has quit [Read error: 110 (Connection timed out)]
mattam_ has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
monotonom has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
Lemmih has quit [Remote closed the connection]
maml has quit ["bye"]
Lemmih has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
Snark has left #ocaml []
Banana has quit [Read error: 60 (Operation timed out)]
Nutssh has joined #ocaml
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
maihem has joined #ocaml
magnus has quit ["Leaving"]
Nutssh has quit ["Client exiting"]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
smimou has quit ["?"]
mrsolo has quit [Read error: 60 (Operation timed out)]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
Demitar has quit [Remote closed the connection]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
monotonom has quit ["Don't talk to those who talk to themselves."]