gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
boscop has quit [Ping timeout: 240 seconds]
ccasin has quit [Quit: Leaving]
lopex has quit []
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
<thelema> return Val_long(hash_accu & 0x3FFFFFFF);
<kaustuv> (safehash is in stdlib/hashtbl.ml)
<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
ccasin has joined #ocaml
<jlenormand> make or omake?
<adrien> make
munga has joined #ocaml
tony_ has joined #ocaml
metasyntax` has quit [Quit: Be seeing you.]
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
easy4 has joined #ocaml
<gildor> adrien: lablgtk will be a big piece to migrate to oasis
boscop has joined #ocaml
sepp2k has joined #ocaml
gmarik has joined #ocaml
<mfp> gildor: thanks, pushed the lwt (>= 2.2.0) change. Do you need a new upstream tarball?
<adrien> gildor: well, better start early then :P
<gildor> mfp: no need for now, we don't have lwt 2.2 in debian, and I submit the bug report while packaging for debian
<gildor> mfp: I'll stick to 0.2.3 (I hope it is compatible enough with 0.4.0) and when lwt 2.2 will enter debian, I will upgrade sqlexpr
<mfp> there are only a couple backwards-incompatible interface changes
<mfp> the Sqlexpr_sqlite.db type and Sqlexpr_sqlite.open_db/close_db are gone --- you have to use the ones in the Make(Concurrency) module
<mfp> in pre-0.4.0, they used to be aliases (so you could do S.open_db or Sqlexpr_sqlite.open_db)
<mfp> gildor: btw can you use 0.3.0 instead of 0.2.3? you can find by clicking on Downloads in https://github.com/mfp/ocaml-sqlexpr
<mfp> when I realized I'd forgotten to release on the forge, I was about to release the 0.4.0 tarball, so didn't bother
onigiri__ has joined #ocaml
<gildor> nevermind, I'll stick to 0.2.3 and will do the required change for 0.4.1
<gildor> mfp: thx
metasyntax` has joined #ocaml
onigiri__ has quit [Read error: Connection reset by peer]
onigiri___ has joined #ocaml
onigiri___ has left #ocaml []
joewilliams_away is now known as joewilliams
arubin has joined #ocaml
yroeht has quit [Quit: leaving]
ftrvxmtrx has quit [Quit: Leaving]
lopex has quit []
<thelema> any trick to detect inside my program whether it was compiled native or bytecode?
tony_ has quit [Ping timeout: 240 seconds]
<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 :(
arubin has quit []
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
<kaustuv> thelema: that's OK, right? README.md says that Batteries requires >= 3.11.0
<thelema> I could give up on the armel compile, I guess
<thelema> I'm going to see if I can work around it, by having a debug compile mode that enables annot
<kaustuv> You can use -dtypes instead that is still supported even though it is deprecated
<thelema> maybe I can use the annot tag...
<thelema> I imagine that should work right even on old ocamlbuild as it just won't activate anything
ymasory has quit [Quit: Leaving]
<kaustuv> How about this: https://gist.github.com/819631
<thelema> kaustuv: works for me.
<thelema> but if the annot tag works too...
<thelema> it's *much* less kludgy
<thelema> attempted fix pushed, we'll see how well it does in hudson
<kaustuv> thelema: it might not work:
<kaustuv> /tmp/ocaml-3.10.2/ocamlbuild % fgrep annot **/*.ml | grep -v -i cannot
<kaustuv> fda.ml: { law_name = "Leftover Ocaml type annotation files";
<kaustuv> fda.ml: law_rules = [Not ".annot"];
<kaustuv> ocaml_arch.ml:let annotate arch =
<kaustuv> /tmp/ocaml-3.10.2/ocamlbuild %