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
|marius|_ has joined #ocaml
|marius| has quit [Ping timeout: 240 seconds]
aj2009 has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
valross has joined #ocaml
mjonsson has joined #ocaml
|marius|_ has quit [Remote host closed the connection]
orbitz has joined #ocaml
BiD0rD has quit [Quit: BiD0rD]
jakedouglas has joined #ocaml
mfp has quit [Ping timeout: 265 seconds]
mfp has joined #ocaml
jakedouglas has quit [Ping timeout: 240 seconds]
valross has quit [Remote host closed the connection]
jakedouglas has joined #ocaml
orbitz has quit [Quit: rebootin]
orbitz has joined #ocaml
mjonsson has quit [Ping timeout: 255 seconds]
ulfdoz has joined #ocaml
|marius| has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
ttamttam has joined #ocaml
Associat0r has joined #ocaml
ttamttam has quit [Ping timeout: 258 seconds]
ulfdoz has quit [Ping timeout: 260 seconds]
ygrek_ has joined #ocaml
Modius has quit [Quit: I'm big in Japan]
Amorphous has quit [Ping timeout: 276 seconds]
ygrek_ has quit [Ping timeout: 245 seconds]
Amorphous has joined #ocaml
Tianon has quit [Ping timeout: 276 seconds]
|marius| has quit [Remote host closed the connection]
theDroggl_ has quit [*.net *.split]
nimred has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
erickt has quit [*.net *.split]
sgnb` has quit [*.net *.split]
bacam has quit [*.net *.split]
despa has quit [*.net *.split]
eldragon has quit [*.net *.split]
mbishop has quit [*.net *.split]
jamii has quit [*.net *.split]
orbitz has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
asmanur_ has quit [*.net *.split]
Leonidas has quit [*.net *.split]
jlouis has quit [*.net *.split]
melba has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
jsk-away has quit [*.net *.split]
jjd27 has quit [*.net *.split]
adrien has quit [*.net *.split]
krnkktz has quit [*.net *.split]
pheredhel has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
brendan has quit [*.net *.split]
boscop_ has joined #ocaml
Yoric has joined #ocaml
boscop has quit [Ping timeout: 245 seconds]
melba has joined #ocaml
jsk-away has joined #ocaml
hyperboreean has joined #ocaml
krnkktz has joined #ocaml
jjd27 has joined #ocaml
adrien has joined #ocaml
pheredhel has joined #ocaml
Asmadeus has joined #ocaml
brendan has joined #ocaml
erickt has joined #ocaml
Amorphous has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
patronus has quit [*.net *.split]
cthuluh has quit [*.net *.split]
noj has quit [*.net *.split]
hcarty has quit [*.net *.split]
shachaf has quit [*.net *.split]
erickt has quit [*.net *.split]
brendan has quit [*.net *.split]
melba has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
jsk-away has quit [*.net *.split]
jjd27 has quit [*.net *.split]
adrien has quit [*.net *.split]
krnkktz has quit [*.net *.split]
pheredhel has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
bzzbzz has quit [*.net *.split]
drksd has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
fremo___ has quit [*.net *.split]
thelema has quit [*.net *.split]
boscop_ has quit [*.net *.split]
Associat0r has quit [*.net *.split]
mfp has quit [*.net *.split]
iratsu` has quit [*.net *.split]
f[x] has quit [*.net *.split]
LionMade0fLions has quit [*.net *.split]
dkr has quit [*.net *.split]
Yoric has quit [*.net *.split]
aj2009 has quit [*.net *.split]
rudi_s has quit [*.net *.split]
joewilliams has quit [*.net *.split]
metasyntax has quit [*.net *.split]
metasyntax` has quit [*.net *.split]
coucou747 has quit [*.net *.split]
thomasga has quit [*.net *.split]
TaXules has quit [*.net *.split]
svenl has quit [*.net *.split]
hto has quit [*.net *.split]
dcolish has quit [*.net *.split]
ski has quit [*.net *.split]
gildor has quit [*.net *.split]
det has quit [*.net *.split]
diml has quit [*.net *.split]
explodus has quit [*.net *.split]
rwmjones has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
julm has quit [*.net *.split]
bitbckt has quit [*.net *.split]
schmrkc has quit [*.net *.split]
fabjan_ has quit [*.net *.split]
npouillard has quit [*.net *.split]
caligula_ has quit [*.net *.split]
mattam has quit [*.net *.split]
shachaf has joined #ocaml
hcarty_ has joined #ocaml
Yoric has joined #ocaml
boscop_ has joined #ocaml
Associat0r has joined #ocaml
mfp has joined #ocaml
aj2009 has joined #ocaml
rossberg_ has joined #ocaml
iratsu` has joined #ocaml
svenl has joined #ocaml
fremo___ has joined #ocaml
metasyntax has joined #ocaml
metasyntax` has joined #ocaml
rwmjones has joined #ocaml
bzzbzz has joined #ocaml
hto has joined #ocaml
thelema has joined #ocaml
dcolish has joined #ocaml
Obfuscate has joined #ocaml
explodus has joined #ocaml
f[x] has joined #ocaml
dkr has joined #ocaml
ski has joined #ocaml
drksd has joined #ocaml
rudi_s has joined #ocaml
coucou747 has joined #ocaml
julm has joined #ocaml
LionMade0fLions has joined #ocaml
bitbckt has joined #ocaml
schmrkc has joined #ocaml
joewilliams has joined #ocaml
gildor has joined #ocaml
det has joined #ocaml
thomasga has joined #ocaml
diml has joined #ocaml
TaXules has joined #ocaml
fabjan_ has joined #ocaml
npouillard has joined #ocaml
caligula_ has joined #ocaml
mattam has joined #ocaml
melba has joined #ocaml
jsk-away has joined #ocaml
hyperboreean has joined #ocaml
krnkktz has joined #ocaml
jjd27 has joined #ocaml
adrien has joined #ocaml
pheredhel has joined #ocaml
Asmadeus has joined #ocaml
brendan has joined #ocaml
bzzbzz has quit [*.net *.split]
drksd has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
fremo___ has quit [*.net *.split]
thelema has quit [*.net *.split]
boscop_ has quit [*.net *.split]
Associat0r has quit [*.net *.split]
mfp has quit [*.net *.split]
iratsu` has quit [*.net *.split]
f[x] has quit [*.net *.split]
LionMade0fLions has quit [*.net *.split]
dkr has quit [*.net *.split]
Yoric has quit [*.net *.split]
aj2009 has quit [*.net *.split]
rudi_s has quit [*.net *.split]
shachaf has quit [*.net *.split]
joewilliams has quit [*.net *.split]
metasyntax has quit [*.net *.split]
metasyntax` has quit [*.net *.split]
coucou747 has quit [*.net *.split]
thomasga has quit [*.net *.split]
TaXules has quit [*.net *.split]
hcarty_ has quit [*.net *.split]
svenl has quit [*.net *.split]
hto has quit [*.net *.split]
dcolish has quit [*.net *.split]
ski has quit [*.net *.split]
gildor has quit [*.net *.split]
det has quit [*.net *.split]
diml has quit [*.net *.split]
explodus has quit [*.net *.split]
rwmjones has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
julm has quit [*.net *.split]
bitbckt has quit [*.net *.split]
schmrkc has quit [*.net *.split]
shachaf has joined #ocaml
hcarty_ has joined #ocaml
Yoric has joined #ocaml
boscop_ has joined #ocaml
Associat0r has joined #ocaml
mfp has joined #ocaml
aj2009 has joined #ocaml
rossberg_ has joined #ocaml
iratsu` has joined #ocaml
svenl has joined #ocaml
fremo___ has joined #ocaml
metasyntax has joined #ocaml
metasyntax` has joined #ocaml
rwmjones has joined #ocaml
bzzbzz has joined #ocaml
hto has joined #ocaml
thelema has joined #ocaml
dcolish has joined #ocaml
Obfuscate has joined #ocaml
explodus has joined #ocaml
f[x] has joined #ocaml
dkr has joined #ocaml
ski has joined #ocaml
drksd has joined #ocaml
rudi_s has joined #ocaml
coucou747 has joined #ocaml
julm has joined #ocaml
LionMade0fLions has joined #ocaml
bitbckt has joined #ocaml
schmrkc has joined #ocaml
joewilliams has joined #ocaml
gildor has joined #ocaml
det has joined #ocaml
thomasga has joined #ocaml
diml has joined #ocaml
TaXules has joined #ocaml
Morphous has joined #ocaml
fraggle__ has joined #ocaml
noj_ has joined #ocaml
erickt has joined #ocaml
eldragon has joined #ocaml
mbishop has joined #ocaml
jamii has joined #ocaml
sgnb` has joined #ocaml
bacam has joined #ocaml
despa has joined #ocaml
orbitz has joined #ocaml
Leonidas has joined #ocaml
asmanur_ has joined #ocaml
jlouis has joined #ocaml
patronus has joined #ocaml
theDroggl_ has joined #ocaml
nimred has joined #ocaml
Pepe_ has joined #ocaml
ikaros has joined #ocaml
rudi_s_ has joined #ocaml
cthuluh has joined #ocaml
bzzbzz has quit [*.net *.split]
drksd has quit [*.net *.split]
cthuluh has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
fremo___ has quit [*.net *.split]
thelema has quit [*.net *.split]
boscop_ has quit [*.net *.split]
Associat0r has quit [*.net *.split]
mfp has quit [*.net *.split]
iratsu` has quit [*.net *.split]
f[x] has quit [*.net *.split]
LionMade0fLions has quit [*.net *.split]
dkr has quit [*.net *.split]
Yoric has quit [*.net *.split]
aj2009 has quit [*.net *.split]
rudi_s has quit [*.net *.split]
ikaros has quit [*.net *.split]
shachaf has quit [*.net *.split]
joewilliams has quit [*.net *.split]
metasyntax has quit [*.net *.split]
metasyntax` has quit [*.net *.split]
coucou747 has quit [*.net *.split]
thomasga has quit [*.net *.split]
TaXules has quit [*.net *.split]
rudi_s_ has quit [*.net *.split]
hcarty_ has quit [*.net *.split]
svenl has quit [*.net *.split]
hto has quit [*.net *.split]
dcolish has quit [*.net *.split]
ski has quit [*.net *.split]
gildor has quit [*.net *.split]
det has quit [*.net *.split]
diml has quit [*.net *.split]
explodus has quit [*.net *.split]
rwmjones has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
julm has quit [*.net *.split]
bitbckt has quit [*.net *.split]
schmrkc has quit [*.net *.split]
aj2009 has joined #ocaml
pikachuyann has joined #ocaml
aj2009 has quit [Quit: Leaving]
ygrek_ has joined #ocaml
cthuluh has joined #ocaml
rudi_s_ has joined #ocaml
ikaros has joined #ocaml
shachaf has joined #ocaml
hcarty_ has joined #ocaml
Yoric has joined #ocaml
boscop_ has joined #ocaml
Associat0r has joined #ocaml
mfp has joined #ocaml
rossberg_ has joined #ocaml
iratsu` has joined #ocaml
svenl has joined #ocaml
fremo___ has joined #ocaml
metasyntax has joined #ocaml
metasyntax` has joined #ocaml
rwmjones has joined #ocaml
bzzbzz has joined #ocaml
hto has joined #ocaml
thelema has joined #ocaml
dcolish has joined #ocaml
Obfuscate has joined #ocaml
explodus has joined #ocaml
f[x] has joined #ocaml
dkr has joined #ocaml
ski has joined #ocaml
drksd has joined #ocaml
coucou747 has joined #ocaml
julm has joined #ocaml
LionMade0fLions has joined #ocaml
bitbckt has joined #ocaml
schmrkc has joined #ocaml
joewilliams has joined #ocaml
gildor has joined #ocaml
det has joined #ocaml
thomasga has joined #ocaml
diml has joined #ocaml
TaXules has joined #ocaml
patronus is now known as Guest32448
ftrvxmtrx has joined #ocaml
munga has joined #ocaml
ygrek_ has quit [Remote host closed the connection]
ASpiwack has joined #ocaml
ygrek_ has joined #ocaml
avsm has joined #ocaml
yoruk has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
ikaros has quit [Quit: Leave the magic to Houdini]
thelema has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
munga has quit [Ping timeout: 276 seconds]
boscop_ has left #ocaml []
boscop has joined #ocaml
eaburns has joined #ocaml
jsk-away is now known as jsk
munga has joined #ocaml
ztfw has joined #ocaml
eaburns has left #ocaml []
f[x] has quit [Ping timeout: 252 seconds]
f[x] has joined #ocaml
iratsu` has quit [Ping timeout: 252 seconds]
ccasin has joined #ocaml
Modius has joined #ocaml
Modius has quit [Max SendQ exceeded]
Modius has joined #ocaml
mjonsson has joined #ocaml
f[x] has quit [Remote host closed the connection]
f[x] has joined #ocaml
oriba has joined #ocaml
mjonsson has quit [Ping timeout: 276 seconds]
jakedouglas has joined #ocaml
mjonsson has joined #ocaml
oriba has quit [Quit: Verlassend]
hcarty_ has quit [Quit: leaving]
hcarty has joined #ocaml
iratsu` has joined #ocaml
yoruk has quit [Quit: .]
ygrek_ has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
|marius| has joined #ocaml
Yoric has quit [Quit: Yoric]
munga has quit [Read error: Operation timed out]
Anarchos has joined #ocaml
avsm has quit [Quit: Leaving.]
iratsu` has quit [Ping timeout: 258 seconds]
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
iratsu` has joined #ocaml
caligula__ has joined #ocaml
caligula_ has quit [Ping timeout: 260 seconds]
ikaros has joined #ocaml
munga has joined #ocaml
boscop has quit [Ping timeout: 252 seconds]
iratsu` has quit [Read error: Operation timed out]
ulfdoz has joined #ocaml
iratsu` has joined #ocaml
iratsu` has quit [Ping timeout: 276 seconds]
iratsu has joined #ocaml
jeddhaberstro has joined #ocaml
dkr has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
oriba has joined #ocaml
ahm has joined #ocaml
ahm has left #ocaml []
dark has joined #ocaml
dark has quit [Client Quit]
dark has joined #ocaml
<dark> module Q = struct type t = int type compare = Pervasives.compare end
<dark> Unbound type constructor Pervasives.compare
<dark> ? :(
<dark> if I just type Pervasives.compare it says 'a -> 'a -> 'a..
<dark> actually -> int
<dark> ocaml 3.12 here, is this a bug? seems more like a misunderstanding
munga has quit [Ping timeout: 240 seconds]
<flux> type compare = .. ?
<flux> you mean let compare = .. ?
<dark> ah
<dark> yes, a silly misunderstanding
<dark> sorry
<flux> no problem :)
<dark> .. tuareg-mode is fun
<dark> (learning to use emacs right now)
<dark> tuareg-mode mixes spaces and tabs in a funny way
<dark> is this 'standard'?
<dark> (in ocaml community, I mean)
<hcarty> dark: The standard tends to be spaces only from the code I've read
<hcarty> And written
<adrien> I'd almost pay people to stop using tabs+spaces
<dark> yes, maybe C-h m can tell me something about how to change this, who knows
<dark> this is an interesting link
<dark> i almost don't pay attention to this at emacs, but with other editors this is very irritating indeed
<adrien> tabs are set to 2 spaces for me, it's awful
<adrien> (tabs+spaces is awful I mean, and I don't want to change the tab width)
nick_nsa has joined #ocaml
<dark> it seems that the tuareg builtin help file does not mention how to modify this behavior
<dark> also that link does not contain the word 'tuareg' (or i can't find)
<dark> where is Set.S.map?..
<dark> I made an effort to use ocaml's built in Set primitive, but this is too much for me
<dark> I guess I could use fold (..)
<adrien> (also, unregistered users still can't post on the channel)
<dark> (yes, I tried to enter with my alter ego, ahm, but was silenced)
<dark> I think I will install batteries
<dark> .. also, where is the ocaml 3.12 manual? I can find a pdf that claims to be it, but I can't figure out how to read pdfs in terminal
<Anarchos> dark you have Set.S.elements returning elements list
<dark> (So I can't verify this claim). I have an useless pdf2html that actually prints each page to an png :( Maybe if I could have the tex source, I could see it..
<dark> Anarchos: isn't there a cleaner way?..
ccasin has quit [Quit: Leaving]
<Anarchos> dark fold with an accumulator
<dark> I'm doing this in the 'functional' way knowing that there might be a performance penalty, but I don't want to do a wasteful conversion for nothing
<dark> In special I think map can be implemented directly with trees. But not sure if this is actually better than using fold...
<dark> hcarty: isn't this the 3.11 manual?
<hcarty> No, it's 3.12
<Anarchos> dark Set.S.iter (fun a -> put a in a ref on set))
<hcarty> It was 3.11 still for a while after 3.12 was released, but it has been updated
<dark> Anarchos: but batteries probably has this implemented..
<Anarchos> dark i don't know batteries, i had to port ocaml myself to my platform...
<dark> is there any perceived benefit for the functor interface of Set?
<dark> Anarchos: nice, which?
<Anarchos> dark beos (now haiku)
<Anarchos> dark apart from a big bug (crashes some times), i could do concurrent programming with ocaml :)
<dark> Anarchos: nice .-.
<dark> didn't know that beos successor is alive
<hcarty> dark: Batteries does provide Set.S.map, along with a polymorphic Set (and Map) module
<dark> hcarty: a new Set.S? hmm, backwards-compatible with ocaml's own?
<dark> I think this is sufficient reason Set.S.map to ocaml, say, 3.13. ._.
<dark> I can't find ocaml batteries at portage
<dark> there is an ebuild somewhere, nice
<Anarchos> dark it is so alive that it is my primary os at home for a year
<dark> interesting o.o would like to know how it compares with gentoo
jakedouglas has quit [Quit: Leaving.]
<dark> i'm to try nixos too, and i'm barred to try other interesting systems such as netbsd seriously because althought it supports lvm, it does not support luks (i'm a bit locked to that right now)
sepp2k has joined #ocaml
<hcarty> dark: Batteries is largely backwards compatible with the OCaml stdlib, but there are some differences. Internally, it is built on top of OCaml's standard library.
dark has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
jakedouglas has joined #ocaml
sepp2k1 has joined #ocaml
iago has joined #ocaml
sepp2k has quit [Ping timeout: 272 seconds]
ygrek_ has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
itewsh has joined #ocaml
Anarchos has left #ocaml []
ulfdoz has quit [Ping timeout: 272 seconds]
vpalle has joined #ocaml
pikachuyann has quit [Quit: Quitte]
ygrek_ has quit [Ping timeout: 245 seconds]
vpalle has quit [Ping timeout: 264 seconds]
oriba has quit [Quit: Verlassend]
valross has joined #ocaml
itewsh has quit [Ping timeout: 252 seconds]
cygnus_ has joined #ocaml
vpalle has joined #ocaml
valross has quit [Remote host closed the connection]
valross has joined #ocaml
joewilliams is now known as joewilliams_away
ikaros has quit [Quit: Leave the magic to Houdini]
sepp2k1 has quit [Quit: Leaving.]
ccasin has joined #ocaml
Associat0r has quit [Quit: Associat0r]
joewilliams_away is now known as joewilliams
vpalle has quit [Ping timeout: 240 seconds]
joewilliams is now known as joewilliams_away
vpalle has joined #ocaml
vpalle has quit [Ping timeout: 255 seconds]
jakedouglas has quit [Ping timeout: 246 seconds]
jakedouglas has joined #ocaml
jeddhaberstro has quit [Read error: Connection reset by peer]