kaustuv has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
bzzbzz has joined #ocaml
smerz has quit [Quit: Ex-Chat]
myu2 has joined #ocaml
tony_ has quit [Quit: Ex-Chat]
joewilliams is now known as joewilliams_away
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 245 seconds]
ymasory_ has joined #ocaml
arubin has quit [Quit: arubin]
ymasory_ has quit [Read error: Connection reset by peer]
Amorphous has quit [Ping timeout: 272 seconds]
kaustuv has joined #ocaml
<kaustuv>
thelema: that fix to Hashcons worked?
Amorphous has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
<thelema>
kaustuv: it seems to. Yay testing on multiple platforms...
<thelema>
I guess it was just a negative random number?
<thelema>
err, not random...
<thelema>
the hash being negative
Associat0r has quit [Quit: Associat0r]
Associat0r has joined #ocaml
<kaustuv>
Right, the code used an unstated assumption that hashes were positive, but there is no contract that requires it and certainly none expressible in the type system
<kaustuv>
It's just a coincidence that Hashtbl.hash always produces positive numbers
<thelema>
apparently. I'm tempted to look at the hashtbl code to check how it does the same
<thelema>
hmm, no checks for negative there
<kaustuv>
actually the safehash function effectively removes negatives
<kaustuv>
since it lands with the max positive number, so the sign bit is removed
<kaustuv>
I don't know why they didn't use Pervasives.abs -- probably to skip a branch
<thelema>
yes, logical and by a constant is faster
sepp2k1 has quit [Quit: Leaving.]
<kaustuv>
In case you haven't merged from my fork's head (that has the assert()s removed), I'll change the abs to the land
<kaustuv>
There was another error I accidentally introduced earlier, but that is fairly benign
haelix_ has joined #ocaml
haelix has quit [Ping timeout: 276 seconds]
nimred has quit [Ping timeout: 276 seconds]
nimred has joined #ocaml
mlh has quit [*.net *.split]
kig has quit [*.net *.split]
diml has quit [*.net *.split]
hcarty has quit [*.net *.split]
chicco has quit [*.net *.split]
jonafan has quit [*.net *.split]
f[x] has quit [*.net *.split]
Julien_T has quit [*.net *.split]
kerneis has quit [*.net *.split]
xl0 has quit [*.net *.split]
lamawithonel has quit [*.net *.split]
ski has quit [*.net *.split]
mfp has quit [*.net *.split]
zzz_ has quit [*.net *.split]
srcerer has quit [*.net *.split]
easy4 has quit [*.net *.split]
trigen has quit [*.net *.split]
avsm2 has quit [*.net *.split]
pantsd has quit [*.net *.split]
orbitz has quit [*.net *.split]
jlenormand has quit [*.net *.split]
mrvn has quit [*.net *.split]
alpounet has quit [*.net *.split]
vk0 has quit [*.net *.split]
hto has quit [*.net *.split]
pheredhel has quit [*.net *.split]
adrien has quit [*.net *.split]
deavid has quit [*.net *.split]
bitbckt has quit [*.net *.split]
_2x2l has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
Amorphous has quit [*.net *.split]
eye-scuzzy has quit [*.net *.split]
npouillard has quit [*.net *.split]
juster has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
jsk has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
patronus_ has quit [*.net *.split]
svenl_ has quit [*.net *.split]
mehdid has quit [*.net *.split]
rossberg has quit [*.net *.split]
shachaf has quit [*.net *.split]
noj has quit [*.net *.split]
avsm has quit [*.net *.split]
cthuluh has quit [*.net *.split]
rks has quit [*.net *.split]
jdavis has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
metasyntax` has quit [*.net *.split]
fabjan has quit [*.net *.split]
metasyntax has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
cods has quit [*.net *.split]
Amorphous has joined #ocaml
eye-scuzzy has joined #ocaml
zzz_ has joined #ocaml
alpounet has joined #ocaml
easy4 has joined #ocaml
avsm has joined #ocaml
lamawithonel has joined #ocaml
orbitz has joined #ocaml
trigen has joined #ocaml
mlh has joined #ocaml
jlenormand has joined #ocaml
jsk has joined #ocaml
kig has joined #ocaml
cthuluh has joined #ocaml
vk0 has joined #ocaml
npouillard has joined #ocaml
diml has joined #ocaml
juster has joined #ocaml
hto has joined #ocaml
rks has joined #ocaml
mfp has joined #ocaml
hcarty has joined #ocaml
chicco has joined #ocaml
jdavis has joined #ocaml
Pepe_ has joined #ocaml
hyperboreean has joined #ocaml
pheredhel has joined #ocaml
fraggle_ has joined #ocaml
ski has joined #ocaml
jonafan has joined #ocaml
f[x] has joined #ocaml
avsm2 has joined #ocaml
mcclurmc has joined #ocaml
pantsd has joined #ocaml
deavid has joined #ocaml
adrien has joined #ocaml
Julien_T has joined #ocaml
_2x2l has joined #ocaml
bitbckt has joined #ocaml
shachaf has joined #ocaml
noj has joined #ocaml
rossberg has joined #ocaml
mehdid has joined #ocaml
svenl_ has joined #ocaml
patronus_ has joined #ocaml
mrvn has joined #ocaml
xl0 has joined #ocaml
kerneis has joined #ocaml
metasyntax` has joined #ocaml
fabjan has joined #ocaml
metasyntax has joined #ocaml
Asmadeus has joined #ocaml
cods has joined #ocaml
kaustuv has quit [*.net *.split]
myu2 has quit [*.net *.split]
bzzbzz has quit [*.net *.split]
Tianon has quit [*.net *.split]
flux has quit [*.net *.split]
sgnb has quit [*.net *.split]
Rickasaurus has quit [Excess Flood]
Rick_ has joined #ocaml
ymasory_ has joined #ocaml
kaustuv has joined #ocaml
myu2 has joined #ocaml
bzzbzz has joined #ocaml
Tianon has joined #ocaml
flux has joined #ocaml
sgnb has joined #ocaml
Associat0r has quit [Read error: Connection reset by peer]
kaustuv has left #ocaml []
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
Associat0r has quit [Client Quit]
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 240 seconds]
ymasory_ has quit [Ping timeout: 246 seconds]
eye-scuzzy has quit [Remote host closed the connection]
eye-scuzzy has joined #ocaml
joewilliams_away is now known as joewilliams
Rick__ has joined #ocaml
Rick_ has quit [Ping timeout: 240 seconds]
ulfdoz has joined #ocaml
kaustuv has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
rwmjones has quit [Ping timeout: 240 seconds]
Snark has joined #ocaml
benthos has joined #ocaml
rwmjones has joined #ocaml
rwmjones has quit [Ping timeout: 240 seconds]
myu2 has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 265 seconds]
Yoric has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
edwin has joined #ocaml
easy4 has quit [Quit: easy4]
kmicinski has joined #ocaml
Yoric has quit [Quit: Yoric]
jonafan_ has quit [Read error: Connection reset by peer]
myu2 has joined #ocaml
ftrvxmtrx has joined #ocaml
myu2 has quit [Remote host closed the connection]
jsk has quit [Remote host closed the connection]
ttamttam has joined #ocaml
myu2 has joined #ocaml
Yoric has joined #ocaml
_andre has joined #ocaml
myu2 has quit [Remote host closed the connection]
ikaros has joined #ocaml
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
cyanure has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
BiDOrD has joined #ocaml
lopex has joined #ocaml
jlenormand has quit [Ping timeout: 265 seconds]
tony_ has joined #ocaml
<rixed>
In the manual section 6.1, keywords, ".." is listed as a keyword. Is anyone know what's its meaning ?
<mfp>
rixed: you find it in object types like < foo:int; .. >
<mfp>
.. denotes the row variable
<rixed>
mfp: aaaah, ok! Thank you very much !
<kaustuv>
rixed: it's also used in range patterns. (function 'a' .. 'z' -> "az" | _ -> "eh?")
<rixed>
kaustuv: right, I forgot about this one!
jlenormand has joined #ocaml
eye-scuzzy has quit [Quit: leaving]
eye-scuzzy has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
tony_ has quit [Quit: Ex-Chat]
<jlenormand>
hrmph
<jlenormand>
is it possible to ask omake to display all the commands that it _would_ run?
<jlenormand>
b
<jlenormand>
b
<jlenormand>
I want to simply plunk it into a Makefile so I don't have to always run omake
<thelema>
jlenormand: have you tried ocamlbuild?
<jlenormand>
I'm using an existing system
<adrien>
gildor: thinking more about it, I think I won't try to get lablgtk to use oasis ASAP: I'll edit its build system to install the elements I need and do some work I need too but it's still something I'm definitely interested in doing ;-)
<thelema>
what is the problem of running omake? I remember it being pretty fast
<jlenormand>
I find it pretty slow
<adrien>
I hate how make always ends up missing some rebuilds, or doing too many
<thelema>
adrien: I wouldn't have looked there. Thanks
<adrien>
you're welcome :-) I remembered there was a function but couldn't find it and then thought for a second that you could try dynloading a bytecode module and see how it failed =P
<thelema>
lol
<thelema>
hmm, dynlink isn't in stdlib...
<adrien>
yeah, needs additional link instructions unfortunately
<thelema>
blah.
<adrien>
hmmm
<thelema>
I wonder if it even works on armel
<thelema>
just the is_native
<adrien>
actually you can do it like ocaml does it: it has "dynlink.ml" and "natdynlink.ml" and the first has "let is_native = false" while the other one has "let is_native = true"
<thelema>
but there's got to be some magic to give natdynlink the module name Dynlink
tony_ has joined #ocaml
<thelema>
unix uses directories to have a threaded and a non-threaded version
<kaustuv>
thelema: if you don't mind some hacking, you can examine the first few bytes of Sys.executable_name to see if it has the bytecode magic number
<thelema>
lol
<thelema>
easier to just use pa_macro at build time to switch strings
<thelema>
I just want the tests to announce whether they're bytecode or native
<thelema>
maybe I should do that in the makefile instead
<adrien>
I think that if you use -o with -a you can change the module name, or something like that
<thelema>
adrien: really? I didn't know that.
<adrien>
might be wrong, checking now
<adrien>
with a.ml and -o b.cmo: "Error: Wrong file naming: b.cmi contains the compiled interface for A", I last saw something like that in lablgtk, I'll have to check what it does exactly
<adrien>
mv will definitely work however ;-)
<thelema>
true
<adrien>
or even -pp 'sed -e s/^let is_native = foo$/let is_native = true/ -i' (watch out, -i is a gnu-ism "edit files in place (makes backup if extension supplied)")
<kaustuv>
I suggest that doing it in the makefile and/or adding a command line option to the test harness is a saner alternative
<kaustuv>
What kind of computer uses armel? Netbooks?
<thelema>
ipad, iphone
gmarik has quit [Ping timeout: 250 seconds]
kaustuv has quit [Remote host closed the connection]
tony_ has quit [Ping timeout: 246 seconds]
BiDOrD has quit [Remote host closed the connection]
BiDOrD has joined #ocaml
srcerer has joined #ocaml
ftrvxmtrx has joined #ocaml
lopex has joined #ocaml
Yoric has quit [Quit: Yoric]
tony_ has joined #ocaml
kaustuv has joined #ocaml
gmarik has joined #ocaml
tony_ has quit [Ping timeout: 240 seconds]
tony_ has joined #ocaml
jm has joined #ocaml
coucou747 has quit [Quit: 0x2a]
tony_ has quit [Ping timeout: 240 seconds]
munga has quit [Ping timeout: 255 seconds]
myu2 has joined #ocaml
shachaf has quit [Ping timeout: 272 seconds]
adrien has quit [Ping timeout: 255 seconds]
adrien has joined #ocaml
Yoric has joined #ocaml
shachaf has joined #ocaml
mnabil has joined #ocaml
Associat0r has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 240 seconds]
easy4 has quit [Quit: easy4]
ftrvxmtrx has joined #ocaml
jm has quit [Ping timeout: 240 seconds]
mnabil has quit [Ping timeout: 255 seconds]
Associat0r has quit [Ping timeout: 260 seconds]
tony_ has joined #ocaml
ttamttam has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
smerz has joined #ocaml
Associat0r has joined #ocaml
mnabil has joined #ocaml
_andre has quit [Quit: leaving]
jm has joined #ocaml
Associat0r has quit [Ping timeout: 240 seconds]
agarwal1975 has joined #ocaml
Snark has quit [Quit: Ex-Chat]
rwmjones has joined #ocaml
iris1 has joined #ocaml
agarwal1975_ has joined #ocaml
tony_ has quit [Ping timeout: 240 seconds]
agarwal1975 has quit [Ping timeout: 245 seconds]
agarwal1975_ is now known as agarwal1975
agarwal1975 has quit [Ping timeout: 240 seconds]
adrien is now known as adrien__
adrien__ is now known as adrien
ccasin has quit [Quit: Leaving]
Edward has joined #ocaml
ulfdoz has joined #ocaml
seafood has joined #ocaml
juster_ has joined #ocaml
juster has quit [Ping timeout: 272 seconds]
Edward has quit [Ping timeout: 255 seconds]
juster_ has quit [Client Quit]
edwin has quit [Remote host closed the connection]
mnabil has quit [Read error: Connection reset by peer]
valross has joined #ocaml
iris1 has quit [Read error: Operation timed out]
ymasory_ has joined #ocaml
iris1 has joined #ocaml
gildor has quit [Ping timeout: 240 seconds]
jm has quit [Remote host closed the connection]
gildor has joined #ocaml
seafood has quit [Quit: seafood]
ftrvxmtrx has quit [Quit: Leaving]
Edward has joined #ocaml
ftrvxmtrx has joined #ocaml
walrus__ has joined #ocaml
valross has quit [Ping timeout: 240 seconds]
Edward has quit [Ping timeout: 240 seconds]
smerz has quit [Quit: Ex-Chat]
gmarik has quit [Quit: Leaving.]
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
ymasory_ has quit [Quit: Leaving]
<iris1>
.
Edward has joined #ocaml
tony_ has joined #ocaml
Edward has quit [Ping timeout: 240 seconds]
ikaros has quit [Read error: Operation timed out]
ikaros has joined #ocaml
Edward has joined #ocaml
Yoric has quit [Quit: Yoric]
Edward has quit [Ping timeout: 265 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
Lor has joined #ocaml
<thelema>
Hmm, ocaml 3.10.2 doesn't support -annot :(