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>
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)]