systems changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
smklsmkl has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
mkennedy has quit ["ERC Version 4.0 $Revision: 1.648 $ (IRC client for Emacs)"]
noss has quit ["hej då"]
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
bk_ has quit ["I'll be back"]
JPL-Justin-away is now known as JPL-Justin
smklsmkl has joined #ocaml
<JPL-Justin> hey everyone
<JPL-Justin> smklsmkl: you never say anything
m[kel[ has quit [Read error: 110 (Connection timed out)]
drWorm has quit ["old enough to pay, young enough to kick around"]
anyone has quit [Read error: 54 (Connection reset by peer)]
anyone has joined #ocaml
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
Vekza has quit ["Leaving"]
kinners has joined #ocaml
m[kel[ has quit [Read error: 110 (Connection timed out)]
m[kel[ has joined #ocaml
maihem has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
anyone has quit [orwell.freenode.net irc.freenode.net]
vezenchio has quit [orwell.freenode.net irc.freenode.net]
rox has quit [orwell.freenode.net irc.freenode.net]
Meta_ has quit [orwell.freenode.net irc.freenode.net]
pattern has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
andrewb has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
zoidberg has quit [orwell.freenode.net irc.freenode.net]
Dybbuk_ has quit [orwell.freenode.net irc.freenode.net]
malte has quit [orwell.freenode.net irc.freenode.net]
mellum has quit [orwell.freenode.net irc.freenode.net]
m[kel[ has quit [orwell.freenode.net irc.freenode.net]
kinners has quit [orwell.freenode.net irc.freenode.net]
_shawn has quit [orwell.freenode.net irc.freenode.net]
Demitar has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
slashvar1proof] has quit [orwell.freenode.net irc.freenode.net]
miach has quit [orwell.freenode.net irc.freenode.net]
Hipo has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
otsuka has quit [orwell.freenode.net irc.freenode.net]
JPL-Justin has quit [orwell.freenode.net irc.freenode.net]
Banana has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
yella has quit [orwell.freenode.net irc.freenode.net]
shrimpx has quit [orwell.freenode.net irc.freenode.net]
m[kel[ has joined #ocaml
kinners has joined #ocaml
anyone has joined #ocaml
maihem has joined #ocaml
det has joined #ocaml
vezenchio has joined #ocaml
rox has joined #ocaml
_shawn has joined #ocaml
mattam has joined #ocaml
Meta_ has joined #ocaml
Dybbuk_ has joined #ocaml
teratorn has joined #ocaml
Demitar has joined #ocaml
malte has joined #ocaml
pattern has joined #ocaml
Smerdyakov has joined #ocaml
cmeme has joined #ocaml
otsuka has joined #ocaml
hf_ has joined #ocaml
gl has joined #ocaml
JPL-Justin has joined #ocaml
slashvar1proof] has joined #ocaml
miach has joined #ocaml
andrewb has joined #ocaml
Riastradh has joined #ocaml
shrimpx has joined #ocaml
yella has joined #ocaml
mellum has joined #ocaml
zoidberg has joined #ocaml
Banana has joined #ocaml
Hipo has joined #ocaml
lam has joined #ocaml
mof has joined #ocaml
Hadaka has joined #ocaml
maihem has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
pattern has quit [orwell.freenode.net irc.freenode.net]
anyone has quit [orwell.freenode.net irc.freenode.net]
vezenchio has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
andrewb has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
zoidberg has quit [orwell.freenode.net irc.freenode.net]
Meta_ has quit [orwell.freenode.net irc.freenode.net]
rox has quit [orwell.freenode.net irc.freenode.net]
Dybbuk_ has quit [orwell.freenode.net irc.freenode.net]
mellum has quit [orwell.freenode.net irc.freenode.net]
malte has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
slashvar1proof] has quit [orwell.freenode.net irc.freenode.net]
m[kel[ has quit [orwell.freenode.net irc.freenode.net]
_shawn has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
Demitar has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
miach has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
Hipo has quit [orwell.freenode.net irc.freenode.net]
kinners has quit [orwell.freenode.net irc.freenode.net]
otsuka has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
Banana has quit [orwell.freenode.net irc.freenode.net]
JPL-Justin has quit [orwell.freenode.net irc.freenode.net]
yella has quit [orwell.freenode.net irc.freenode.net]
shrimpx has quit [orwell.freenode.net irc.freenode.net]
Hipo_ has joined #ocaml
Meta has joined #ocaml
async has joined #ocaml
m[kel[ has joined #ocaml
kinners has joined #ocaml
anyone has joined #ocaml
maihem has joined #ocaml
det has joined #ocaml
vezenchio has joined #ocaml
rox has joined #ocaml
_shawn has joined #ocaml
mattam has joined #ocaml
Dybbuk_ has joined #ocaml
teratorn has joined #ocaml
Demitar has joined #ocaml
malte has joined #ocaml
pattern has joined #ocaml
Smerdyakov has joined #ocaml
cmeme has joined #ocaml
otsuka has joined #ocaml
hf_ has joined #ocaml
gl has joined #ocaml
JPL-Justin has joined #ocaml
slashvar1proof] has joined #ocaml
miach has joined #ocaml
andrewb has joined #ocaml
Riastradh has joined #ocaml
shrimpx has joined #ocaml
yella has joined #ocaml
mellum has joined #ocaml
zoidberg has joined #ocaml
Banana has joined #ocaml
Hipo has joined #ocaml
lam has joined #ocaml
mof has joined #ocaml
Hadaka has joined #ocaml
Hipo has quit [Read error: 60 (Operation timed out)]
Meta_ has joined #ocaml
cjohnson has quit ["Drawn beyond the lines of reason"]
Meta has quit [Read error: 110 (Connection timed out)]
kinners has quit ["leaving"]
anyone has quit ["To understand recursion, you must first understand recursion."]
mattam has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
det has joined #ocaml
mattam has joined #ocaml
_shawn has quit [Read error: 54 (Connection reset by peer)]
shawn has joined #ocaml
smklsmkl has joined #ocaml
m[kel[ has quit [Read error: 60 (Operation timed out)]
<async> i just wasted 2 hours installing postgresql
<async> and then i realized i didn't really need it
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
maihem has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
shawn has quit [orwell.freenode.net irc.freenode.net]
pattern has quit [orwell.freenode.net irc.freenode.net]
vezenchio has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
andrewb has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
zoidberg has quit [orwell.freenode.net irc.freenode.net]
rox has quit [orwell.freenode.net irc.freenode.net]
m[kel[ has quit [orwell.freenode.net irc.freenode.net]
Dybbuk_ has quit [orwell.freenode.net irc.freenode.net]
mellum has quit [orwell.freenode.net irc.freenode.net]
malte has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
slashvar1proof] has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
Demitar has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
miach has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
async has quit [orwell.freenode.net irc.freenode.net]
otsuka has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
Banana has quit [orwell.freenode.net irc.freenode.net]
Hipo_ has quit [orwell.freenode.net irc.freenode.net]
JPL-Justin has quit [orwell.freenode.net irc.freenode.net]
Meta_ has quit [orwell.freenode.net irc.freenode.net]
yella has quit [orwell.freenode.net irc.freenode.net]
shrimpx has quit [orwell.freenode.net irc.freenode.net]
mkennedy has joined #ocaml
m[kel[ has joined #ocaml
shawn has joined #ocaml
mattam has joined #ocaml
det has joined #ocaml
Meta_ has joined #ocaml
Hipo_ has joined #ocaml
async has joined #ocaml
maihem has joined #ocaml
vezenchio has joined #ocaml
rox has joined #ocaml
Dybbuk_ has joined #ocaml
teratorn has joined #ocaml
Demitar has joined #ocaml
malte has joined #ocaml
pattern has joined #ocaml
Smerdyakov has joined #ocaml
cmeme has joined #ocaml
otsuka has joined #ocaml
hf_ has joined #ocaml
gl has joined #ocaml
JPL-Justin has joined #ocaml
slashvar1proof] has joined #ocaml
miach has joined #ocaml
andrewb has joined #ocaml
Riastradh has joined #ocaml
shrimpx has joined #ocaml
yella has joined #ocaml
mellum has joined #ocaml
zoidberg has joined #ocaml
Banana has joined #ocaml
lam has joined #ocaml
mof has joined #ocaml
Hadaka has joined #ocaml
<shawn> what will you use instead of postgres?
<async> well i thought it would be a cool idea to have a database running locally
<async> you can make some pretty neat stuff with a database (especially related to web)
<async> i dunno
<async> postgres is installed, just i have absolutely no idea how to use it
kisu has joined #ocaml
kisu has left #ocaml []
smklsmkl has joined #ocaml
m[kel[ has quit [Read error: 110 (Connection timed out)]
<malte> morning
<Banana> hello malte.
<malte> hi Banana, what's up? :)
phj has joined #ocaml
Hipo_ is now known as Hipo
<Banana> well nothing...
<Banana> except I just discovered how poor was the CSS support in IE...
maihem has quit ["Client exiting"]
<malte> heh, yeah it sucks... why do you use IE? :)
<Banana> I** do not.
<Banana> I use galeon.
<Banana> but you know, people these days... :)
<malte> i wonder how many percent of world wide browser usage IE has nowadays
<malte> probably much more than it deserves :/
<yella> what development tools are you guys using? cameleon ? something special or just emacs or vim or so?..
<malte> i use xemacs
<malte> along with app-xemacs/ocaml from gentoo portage :)
<malte> (syntax highlightning and indenting for ocaml)
bk_ has joined #ocaml
<yella> ah. hm. well im using vim. though I think using something else could enhance the productivity
<malte> i'm really more of a vim-kinda-guy, but i think xemacs has great support for ocaml hence i prefer it for that
smklsmkl has quit [Read error: 60 (Operation timed out)]
<malte> i'm a beginner with ocaml however and havent done any large scale projects with it yet; i've mostly been playing around :)
mattam has quit [Read error: 60 (Operation timed out)]
<Banana> for ocaml i use emacs together with the Tuareg mode.
mattam has joined #ocaml
smklsmkl has joined #ocaml
gazoul has joined #ocaml
gazoul has quit [Client Quit]
zoulga has joined #ocaml
cjohnson has joined #ocaml
kinners has joined #ocaml
noss has joined #ocaml
smklsmkl has quit [Read error: 60 (Operation timed out)]
smklsmkl has joined #ocaml
miach has quit ["Lost terminal"]
kinners has quit ["leaving"]
Deknos has joined #ocaml
<Deknos> hi
<Deknos> i have serios problem. i implement the boyermoore search algorithm in ocaml, and it uses a mass of own subfunctions, which are hard to test. when i test the "main"function, just the exception "Invalid Argument" String.get" raises
<Deknos> are there any possibilites of testing it, in order to see where the mistake begins?
<Riastradh> Trace everything.
<Deknos> the only string function i use is "String.length"
teratorn has quit [orwell.freenode.net irc.freenode.net]
shawn has quit [orwell.freenode.net irc.freenode.net]
bk_ has quit [orwell.freenode.net irc.freenode.net]
phj has quit [orwell.freenode.net irc.freenode.net]
mkennedy has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
pattern has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
vezenchio has quit [orwell.freenode.net irc.freenode.net]
andrewb has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
zoidberg has quit [orwell.freenode.net irc.freenode.net]
rox has quit [orwell.freenode.net irc.freenode.net]
Deknos has quit [orwell.freenode.net irc.freenode.net]
mellum has quit [orwell.freenode.net irc.freenode.net]
Dybbuk_ has quit [orwell.freenode.net irc.freenode.net]
malte has quit [orwell.freenode.net irc.freenode.net]
noss has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
slashvar1proof] has quit [orwell.freenode.net irc.freenode.net]
Demitar has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
smklsmkl has quit [orwell.freenode.net irc.freenode.net]
async has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
otsuka has quit [orwell.freenode.net irc.freenode.net]
Banana has quit [orwell.freenode.net irc.freenode.net]
Hipo has quit [orwell.freenode.net irc.freenode.net]
JPL-Justin has quit [orwell.freenode.net irc.freenode.net]
zoulga has quit [orwell.freenode.net irc.freenode.net]
yella has quit [orwell.freenode.net irc.freenode.net]
Meta_ has quit [orwell.freenode.net irc.freenode.net]
cjohnson has quit [orwell.freenode.net irc.freenode.net]
shrimpx has quit [orwell.freenode.net irc.freenode.net]
zoulga has joined #ocaml
Meta_ has joined #ocaml
yella has joined #ocaml
Deknos has joined #ocaml
bk_ has joined #ocaml
phj has joined #ocaml
mkennedy has joined #ocaml
shawn has joined #ocaml
vezenchio has joined #ocaml
rox has joined #ocaml
Dybbuk_ has joined #ocaml
teratorn has joined #ocaml
malte has joined #ocaml
pattern has joined #ocaml
Smerdyakov has joined #ocaml
cmeme has joined #ocaml
andrewb has joined #ocaml
Riastradh has joined #ocaml
zoidberg has joined #ocaml
mellum has joined #ocaml
noss has joined #ocaml
mattam has joined #ocaml
Demitar has joined #ocaml
hf_ has joined #ocaml
gl has joined #ocaml
slashvar1proof] has joined #ocaml
mof has joined #ocaml
lam has joined #ocaml
smklsmkl has joined #ocaml
Hipo has joined #ocaml
async has joined #ocaml
otsuka has joined #ocaml
JPL-Justin has joined #ocaml
Banana has joined #ocaml
Hadaka has joined #ocaml
cjohnson has joined #ocaml
shrimpx has joined #ocaml
<Deknos> yeah, but besides string.length, array.make, array.get und array.(i) <- v and string.[i] i use no function from the libs
<Riastradh> string.[i] is an implicit String.get, and all of those functions, aside from String.length, may raise an Invalid_argument exception.
<Deknos> hmpf:
<Deknos> # boyermoore ("asd stingi","sting");;
<Deknos> boyermoore <-- ("asd stingi", "sting")
<Deknos> boyermoore raises Invalid_argument "String.get"
<Deknos> Exception: Invalid_argument "String.get".
<Deknos> #
<Deknos> trace doesn't help very much in that case, how it seems :|
<Deknos> the complete source is at http://home.in.tum.de/knorr/test/boyermoore.ml , if somebody likes to see it :>
<Deknos> i suppose the mistake is, that the indizes doesn't stay in their range, but i don't have a clue, where to begin searching :(
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
<Deknos> the mistake seems early to be in initNext
<Riastradh> Just trace all of the functions there.
<Deknos> that's very hard, because some functions just function, when they get certain input from other functions.
<Deknos> especially initnext
zoulga has quit [Read error: 110 (Connection timed out)]
<bk_> you sure you're invoking 'v' correctly ?
<Deknos> oh, i got the point
<Deknos> but, then ...
<Deknos> that java source shouldn't function too, but it does.
<Deknos> curious
<bk_> care to share what it was/is ?
<Deknos> h?? i didn't understand that sentence =)
<Deknos> oh, now i understand
<Deknos> i tried to "format" a java source in its functional equivilant in ocaml. and in initnext, theres a forloop, which contains a whileloop and a directive which fills one of the arrays
<Deknos> and the whileloop can't work work without these filling, but the function does it before, and the textpointers i and j got negative
<phj> How to compile files with ocamlopt in windows XP,if I do,it always tell me can not locate entry of __getreent in cygwin1.dll?please tell me what the matter is.
<phj> there is no problem in unix.
<phj> I use ocamlopt -o a.out a.ml a2.ml a3.ml
<mattam> i suppose it has to do with threads but i don't know
smklsmkl has joined #ocaml
m[kel[ has quit [Read error: 110 (Connection timed out)]
phj has quit [Read error: 110 (Connection timed out)]
vezenchio has quit ["--- reality is that which, when you stop believing in it, doesn't go away ---"]
smklsmkl has quit [Read error: 60 (Operation timed out)]
smklsmkl has joined #ocaml
smklsmkl has quit [Read error: 60 (Operation timed out)]
async has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
otsuka has quit [orwell.freenode.net irc.freenode.net]
Banana has quit [orwell.freenode.net irc.freenode.net]
Hipo has quit [orwell.freenode.net irc.freenode.net]
JPL-Justin has quit [orwell.freenode.net irc.freenode.net]
slashvar1proof] has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
noss has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
Demitar has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
Meta_ has quit [orwell.freenode.net irc.freenode.net]
yella has quit [orwell.freenode.net irc.freenode.net]
shrimpx has quit [orwell.freenode.net irc.freenode.net]
cjohnson has quit [orwell.freenode.net irc.freenode.net]
yella has joined #ocaml
Meta_ has joined #ocaml
Hadaka has joined #ocaml
Banana has joined #ocaml
JPL-Justin has joined #ocaml
otsuka has joined #ocaml
async has joined #ocaml
Hipo has joined #ocaml
smklsmkl has joined #ocaml
noss has joined #ocaml
mattam has joined #ocaml
Demitar has joined #ocaml
hf_ has joined #ocaml
gl has joined #ocaml
slashvar1proof] has joined #ocaml
mof has joined #ocaml
lam has joined #ocaml
cjohnson has joined #ocaml
shrimpx has joined #ocaml
shrimpx has quit [orwell.freenode.net irc.freenode.net]
cjohnson has quit [orwell.freenode.net irc.freenode.net]
cjohnson has joined #ocaml
shrimpx has joined #ocaml
Meta_ has quit [orwell.freenode.net irc.freenode.net]
yella has quit [orwell.freenode.net irc.freenode.net]
Meta_ has joined #ocaml
yella has joined #ocaml
slashvar1proof] has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
noss has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
Demitar has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
noss has joined #ocaml
mattam has joined #ocaml
Demitar has joined #ocaml
hf_ has joined #ocaml
gl has joined #ocaml
slashvar1proof] has joined #ocaml
mof has joined #ocaml
lam has joined #ocaml
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
Deknos has quit ["Leaving"]
_fab has joined #ocaml
bk_ has quit ["I'll be back"]
gl has left #ocaml []
gl has joined #ocaml
gim has joined #ocaml
bk_ has joined #ocaml
mr_jim has joined #ocaml
mr_jim has quit ["Leaving"]
m[kel[ has quit [Read error: 60 (Operation timed out)]
m[kel[ has joined #ocaml
Deknos has joined #ocaml
<Deknos> hi
<Deknos> i have a short question this time :)
<Deknos> i have to function (expressions) who call each other
<Deknos> how can i declarate this, and how is this called, then i would look in the documentation
<mellum> Deknos: let rec f x = .. and g y = ..
<Deknos> but both functions have tuples, doesn't disturb this?
<mellum> huh?
<malte> Deknos, a tuple is just like any argument...
<Deknos> bla (i1,i2) = .. and blarz (i1,i2) = ... ;;
<mellum> no, doesn't disturb this.
<mellum> just try it :)
<Deknos> it doesn't disturb, too, that both use matching operator, does it?
<mellum> No, why should it?
<malte> nope
<Deknos> really i works!
<Deknos> thank you all :)
<Deknos> but that doesn't bother the algorithm i have to implement. my sourcecode still does not work *snief*
JPL-Justin has quit [Remote closed the connection]
smklsmkl has joined #ocaml
anyone has joined #ocaml
<malte> what is your opinion on the thread (on the mailing-list) about there being too few core developers?
<bk_> the 'cathedral bazaar' thread ?
m[kel[ has quit [Read error: 110 (Connection timed out)]
<malte> bk_, the "How can I lend developers to the Caml team?", but it's probably basically about the same thing
<malte> ocaml seems to be using a cathedral aproach, which i think is bad
<noss> whatever gets it developed.
<malte> i think a bazaar would get it developed more effectively though, dont you?
<bk_> oh that
<anyone> I don't completely believe in the bazaare model.
<noss> malte: only if there are any developers actually working on it.
<malte> why's that anyone?
<bk_> imho INRIA funded the whole thing, so ofc they're entitled to choose whatever approach seems feasilbe to them
<malte> noss, not really.. the INRIA core developers would probably still be developing
<malte> bk_, of course
<noss> malte: yes, but what outside developers are interested in doing things?
<malte> i would be interested :)
<noss> the source is available and all, so they can just form a group or release patches.
<malte> of course, but it's the same thing as with xfree 4.4 i think
<malte> everyone benefits from a more open core development
<noss> if it is better, start a new core and assimilate the changes the other team makes.
<noss> eventually you are going to be the better product.
<malte> being relatively new to ocaml, please correct me if i'm wrong btw :)
<noss> that is, if you really did have all the time to put into developing.
<malte> noss, not necessarily. the INRIA is undoubtedly very good at developing ocaml, but if they were to more openly accept patches and stuff, wouldnt that lead to a more effective development?
<_fab> malte: what do you miss in the current form of development?
<malte> it seems to be very long between releases to start with
<noss> malte: How many patches have you sent them?
<malte> none, as i discovered ocaml two weeks ago :)
<anyone> ocaml is both a compiler and a language definition. Two bottomlines apply: bugs are found and fixed quickly; features are introduced cautiously. A bazaar model breaks the second.
<_fab> malte: there is an open read-only cvs repository
<malte> yes, i'm aware of that. have you read Jim's mail on the mailing-list _fab? i think he has a point though
<anyone> As for the first one, bazaar is not the only model to offer that.
<noss> malte: then what is the issue?
<_fab> malte: not yet...
<malte> noss, oh, i'm not really complaining. merely wondering whether a different model would be more effective :)
m[kel[ has joined #ocaml
smimou has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
<_fab> is there a way to use the default exception handler of the interactive ocaml in the native or bytecode version?
<Banana> Hum...
<Banana> maybe Printexc module ?
<Banana> but i'm not quite sure i understand what you want...
<_fab> for example: "type bar = Bar;; exception Foo of bar;; raise (Foo Bar);;" gives "Exception: Foo Bar." in ocaml inteactive and "Fatal error: exception Foo.Foo(0)" while compiled
<_fab> in the compiled version the variants are not resolved, but displayed as numbers
async has quit ["Lost terminal"]
<Banana> i don't know if it's possible.
<_fab> hhm, the Printexc module is the same as the handler for the compiled version
<Banana> yes.
<Banana> type information is lost at compile time.
<Banana> so, as variant are integers...
<Banana> i dont find any compiler flag to "remember the variant name"."
bk_ has quit ["I'll be back"]
bk_ has joined #ocaml
<_fab> how does ocaml top do it?
<Banana> ocaml top keeps track of typing informations...
<Banana> maybe you can do a exception Foo of string and then raise (Foo (bar_of_string Bar));;
<_fab> this is no problem, since i have a complete description for each constructor of the variant in a hash... just wondered why the compiled and interactive version was different
m[kel[ has quit [Read error: 60 (Operation timed out)]
Deknos has quit ["Leaving"]
m[kel[ has joined #ocaml
cjohnson has quit ["Drawn beyond the lines of reason"]
gim has quit ["dodo"]
pattern has quit [Read error: 110 (Connection timed out)]
smimou has quit ["J'ai fini."]
async has joined #ocaml
JPL-Justin has joined #ocaml
dullard has joined #ocaml