mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
jeddhaberstro has quit [Ping timeout: 240 seconds]
Amorphous has joined #ocaml
SEcki has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
asurai has joined #ocaml
bmp has quit [Ping timeout: 260 seconds]
asurai is now known as bmp
sepp2k1 has quit [Quit: Leaving.]
ccasin has joined #ocaml
jeddhaberstro has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
netytan has joined #ocaml
<netytan> Evening guys. Out of curiosity, could someone point me to something on classless objects in Ocaml?
<netytan> Any takers?
mbishop has quit [Ping timeout: 276 seconds]
<derdon> netytan: they are comparable to singletons in other languages
<netytan> derdon: Thanks :) I figured as much
<derdon> netytan: and btw: you chose a bad time for IRC ;) it's 4 o'clock here
<netytan> :) 3 here. I just assumed everyone was a night owl ;)
<netytan> How is europe?
<derdon> "how"? this can be answered in a book with 2000 pages or more!
mbishop has joined #ocaml
<orbitz> or with oen sentence
<orbitz> europe is....europe
ccasin has quit [Quit: Leaving]
maskd has quit [Quit: leaving]
_unK has quit [Remote host closed the connection]
<netytan> I would also have accepted – sleeping
<Camarade_Tux> morning :P
<Camarade_Tux> (it's 4:40am here ;-) )
drk-sd has quit [Quit: dodo]
enthymeme has joined #ocaml
joewilliams_away is now known as joewilliams
derdon has quit [Ping timeout: 265 seconds]
det has quit [Read error: Connection reset by peer]
netytan has quit [Quit: netytan]
joewilliams is now known as joewilliams_away
<Associat0r> "You realise Intel verify their floating point hardware using OCaml and Intel's Threaded Building Blocks (TBB) library is built upon OCaml "
<Associat0r> does anyone know which part of TBB is done with OCaml?
<orbitz> Associat0r: no idea
<orbitz> google doesn't relaly know either
<Camarade_Tux> I'm tempted to say: the logic
<Camarade_Tux> that's what makes sense
<orbitz> any idea what in particular makes ocaml good for comparing floating points (i'm not sure what is involved in that)
<Associat0r> orbitz: verification, that doesn't actually mean they used OCaml's floating points
<orbitz> i know
<orbitz> I'm asking wha tin particular make socaml good for that
myu2 has joined #ocaml
<orbitz> and what is involved in verifying floating hardware
myu2 has quit [Remote host closed the connection]
<Camarade_Tux> orbitz: they're checking the circuit design, not the actual output
<orbitz> ok
<orbitz> what does that mean?
myu2 has joined #ocaml
bmp has quit [Remote host closed the connection]
bmp has joined #ocaml
bmp has quit [Quit: bmp]
jeddhaberstro has quit [Quit: jeddhaberstro]
ygrek has joined #ocaml
john4lists has joined #ocaml
Submarine has joined #ocaml
joewilliams_away is now known as joewilliams
dark has joined #ocaml
seafood has quit [Quit: seafood]
seafood has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
yakischloba has quit [Quit: Leaving.]
myu2 has quit [Remote host closed the connection]
Yoric has joined #ocaml
myu2 has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ttamttam has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
enthymeme has quit [Quit: *thud* zzZZzzzZzz...]
aja has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
f[x] has joined #ocaml
aja has quit [Read error: Connection reset by peer]
Yoric has quit [Quit: Yoric]
ztfw has quit [Ping timeout: 264 seconds]
seafood has quit [Quit: seafood]
komar_ has joined #ocaml
komar_ has quit [Client Quit]
Submarine has quit [Ping timeout: 252 seconds]
komar_ has joined #ocaml
komar_ has quit [Client Quit]
komar_ has joined #ocaml
myu2 has joined #ocaml
<flux> orbitz, in principle it can mean running through all the states of the machine and checking ie. that it doesn't end up into an undesirable state. some intelligent pruning of states to check would be involved.
det has joined #ocaml
komar_ has quit [Quit: WeeChat 0.2.6]
seafood has joined #ocaml
komar_ has joined #ocaml
seafood has quit [Quit: seafood]
Yoric has joined #ocaml
Submarine has joined #ocaml
Shoggoth has joined #ocaml
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
Associat0r has quit [Quit: Associat0r]
sfuentes has quit [Ping timeout: 276 seconds]
_unK has joined #ocaml
ikaros has joined #ocaml
komar_ has quit [Ping timeout: 258 seconds]
<Camarade_Tux> I'm starting a program from ocaml and then using Unix.waitpid for it to return, however the process turns zombie and never returns
<Camarade_Tux> s/never returns/Unix.waitpid never returns/
<Camarade_Tux> I think that's because the process can become zombie before Unix.waitpid is started and according to the linux manpages for wait*(), it checks for a *change* not for an exit
<Camarade_Tux> in which case, if Unix.waitpid is executed after the child turned zombie, it'll never return
<Camarade_Tux> ocaml's doc in Unix doesn't seem to say the same as my system manpages, anyone knows what is correct and if my assumptions are ok?
<Camarade_Tux> ok, maybe ocaml's doc is badly worded but that wasn't my problem ='(
<Camarade_Tux> (or I have several ones)
ikaros has quit [Quit: Leave the magic to Houdini]
<mfp> Camarade_Tux: the process becomes a zombie precisely in order to keep the wait/waitpid info around
<mfp> Camarade_Tux: maybe the program is itself forking and failing to waitpid on its child (which becomes the zombie you're seeing) and exit (so waitpid on it blocks)?
<flux> camarade_tux, strace (-f) may be useful for your
<flux> case
<Camarade_Tux> it's tar+xz so it's indeed forking but it looks like it was 'Sexp.input_sexp in_channel' which was blocking, although it wasn't blocking before (not sure what I've changed to make it behave differently =/ )
<Camarade_Tux> I'm tired of keeping cross-platform compatibility ><
<flux> maybe the s-expression isn't complete yet or the channel doesn't give EOF?
<Camarade_Tux> I had this bug before and I had worked around it and the channel not sending EOF/EOL was the conclusion I came to but now I don't remember well, except it might actually be incomplete...
ttamttam has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
sfuentes has joined #ocaml
Yoric_ has joined #ocaml
Yoric has quit [Ping timeout: 258 seconds]
Yoric_ is now known as Yoric
<Camarade_Tux> if I select() on a descriptor I got from Unix.descr_of_in_channel, is it equivalent to having something to read on the corresponding in_channel? (and if the select times out, am I sure there's nothing on the in_channel?)
<Camarade_Tux> ah, I think I see my bug, stupid of course =)
<Camarade_Tux> errr, no: select times out but then, I can read several lines from the input_channel
<Camarade_Tux> and the select timeout is enough
boscop_ has left #ocaml []
<flux> the things aren't exactly linked
<flux> for example you might have some data remaining in in_channel buffer while select says the channel is not active
<flux> (an actual bug I've seen in a certain C app)
<flux> in general I think it's a bad idea to use select with buffered channels
<Camarade_Tux> hmmm, maybe ocaml consumes the file_descr to feed the in_channel
<Camarade_Tux> I was relying on input_line raising End_of_file before but that gave me problems too (think that was when I was never getting EOL/EOF and the program would wait forever)
<flux> take a look at the stdlib? I assume the code is quite straight-forward.
f[x] has quit [Ping timeout: 260 seconds]
<Camarade_Tux> I need this to work on windows... ;p
<Camarade_Tux> but I think I'll use file_descr everywhere
f[x] has joined #ocaml
<Camarade_Tux> (if only input_line had a 'timeout' parameter)
<Camarade_Tux> and just checked: looks like tar won't send me an EOF or EOL and input_line will wait forever
Yoric has quit [Quit: Yoric]
sepp2k has joined #ocaml
ttamttam has joined #ocaml
ftrvxmtrx has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
smimou has quit [Remote host closed the connection]
smimou has joined #ocaml
tmaedaZ has quit [Ping timeout: 265 seconds]
maskd has joined #ocaml
tmaedaZ has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
ttamttam has quit [Quit: Leaving.]
_zack has joined #ocaml
komar_ has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
myu2 has quit [Remote host closed the connection]
dark has quit [Remote host closed the connection]
Shoggoth has quit [Quit: Ex-Chat]
Snark has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
mbishop has quit [Ping timeout: 265 seconds]
pimmhogeling has joined #ocaml
Snark has quit [Quit: Ex-Chat]
roconnor has joined #ocaml
<roconnor> what's the difference between camlp5 --transitional and --strict?
mbishop has joined #ocaml
drk-sd has joined #ocaml
ikaros has joined #ocaml
<orbitz> It's goign to be a slow day i can feel it
pimmhogeling has quit [Ping timeout: 265 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
smimou has quit [Quit: bli]
ftrvxmtrx has quit [Quit: Leaving]
f[x] has quit [Ping timeout: 248 seconds]
pimmhogeling has joined #ocaml
john4lists has quit [Quit: Leaving.]
derdon has joined #ocaml
f[x] has joined #ocaml
ftrvxmtrx has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
yakischloba has joined #ocaml
f[x] has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
joewilliams_away is now known as joewilliams
Asmadeus has quit [Ping timeout: 246 seconds]
Asmadeus has joined #ocaml
Zeneris has joined #ocaml
roconnor has quit [Remote host closed the connection]
seafood has joined #ocaml
barismetin has quit [Remote host closed the connection]
jeddhaberstro has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
Jedai has joined #ocaml
seafood has quit [Quit: seafood]
f[x] has quit [Ping timeout: 248 seconds]
komar_ is now known as huita
thrasibule has joined #ocaml
ttamttam has joined #ocaml
huita is now known as komar_
findum has quit [Quit: leaving]
tmaedaZ has quit [Ping timeout: 268 seconds]
tmaedaZ has joined #ocaml
Yoric has quit [Quit: Yoric]
komar_ has quit [Quit: WeeChat 0.2.6]
ttamttam has quit [Quit: Leaving.]
bzzbzz has joined #ocaml
tmaedaZ has quit [Ping timeout: 246 seconds]
tmaedaZ has joined #ocaml
_zack has quit [Quit: Leaving.]
krankkatze has joined #ocaml
Zeneris has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 245 seconds]
yakischloba has quit [Quit: Leaving.]
ygrek has joined #ocaml
<flux> I give you possibly the slowest mail parser ever produced in a compilable language: http://www.modeemi.fi/~flux/software/git/threadpicker.git/ (mail.ml)
<Camarade_Tux> who slow? ;-)
<Camarade_Tux> btw, for my earlier problem, I made a function which uses Unix.read and afaict, it works
<flux> I haven't actually measured. but it does an appreciable amount of work per character
<Camarade_Tux> what does it do? I mean, what is the use?
<flux> on the other hand, it uses ParserCo from Batteries and employs its new ParserCo.suspend extensively to give results 'live'
<Camarade_Tux> (bah, late again)
<Camarade_Tux> :-)
<flux> inputs a mail, chunks it down to parts like key-value-headers and the mail contents
<Camarade_Tux> hmm, I can't remember well but some parts are like s-expressions I think
<flux> well, it is quite simple. From aaaa\nKey1: Value1\nKey2: Value2\nKey3: Value3\n\tMoreValueForKey3\n\nBody
<flux> wish I could use that as input specification :)
komar_ has joined #ocaml
<thelema> flux: can't clone - did you run [git update-server-info]?
<flux> gah, no :)
<thelema> :)
<flux> now
eldragon has quit [Read error: Connection reset by peer]
<thelema> better.
<thelema> flux: should I apply your fix to batteries?
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
Submarine has quit [Quit: Leaving]
<flux> thelema, I think yes, I wasn't sure the original purpose of none_of was something I didn't quite see
<flux> but now it sure looks like it's just broken, so go ahead :)
<thelema> well, logically none_of x == for_all ((<>) x)
<thelema> the extra not was most likely a mistake
<thelema> fix pushed
<thelema> your P' module at the top is interesting...
<thelema> your elem types aren't actually mutually recursive...
<flux> true
<flux> but it's nice to define them in the order they appear in the actual file
yakischloba has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
bluestorm has joined #ocaml
ztfw has joined #ocaml
bluestorm has quit [Read error: Connection reset by peer]
tmaedaZ has quit [Ping timeout: 240 seconds]
tmaedaZ has joined #ocaml
drk-sd has quit [Quit: aw]
ikaros has joined #ocaml
smimou has joined #ocaml
tmaedaZ has quit [Ping timeout: 260 seconds]
enthymeme has joined #ocaml
SEcki has joined #ocaml
tmaedaZ has joined #ocaml
ikaros has quit [Ping timeout: 265 seconds]
ikaros has joined #ocaml
eldragon has joined #ocaml
tmaedaZ has quit [Ping timeout: 240 seconds]
yakischloba has quit [Quit: Leaving.]
tmaedaZ has joined #ocaml
joewilliams is now known as joewilliams_away
Submarine has joined #ocaml
tmaedaZ has quit [Ping timeout: 248 seconds]
Zeneris has joined #ocaml
tmaedaZ has joined #ocaml
Associat0r has joined #ocaml
Mr_Awesome has quit [Ping timeout: 265 seconds]
Zeneris has quit [Ping timeout: 252 seconds]
humasect has joined #ocaml
Zeneris has joined #ocaml
sshc has quit [Quit: leaving]
komar_ has quit [Quit: WeeChat 0.2.6]
yakischloba has joined #ocaml
joewilliams_away is now known as joewilliams
Zeneris has quit [Ping timeout: 276 seconds]
Zeneris has joined #ocaml
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
barismetin has quit [Remote host closed the connection]
tmaedaZ has quit [Ping timeout: 258 seconds]
Zeneris has quit [Read error: Operation timed out]
tmaedaZ has joined #ocaml
Zeneris has joined #ocaml
Submarine has quit [*.net *.split]
det has quit [*.net *.split]
schmx has quit [*.net *.split]
flux has quit [*.net *.split]
srcerer has quit [*.net *.split]
julm has quit [*.net *.split]
gildor has quit [*.net *.split]
srcerer_ has joined #ocaml
92AAAGD84 has joined #ocaml
Submarine has joined #ocaml
det has joined #ocaml
schmx has joined #ocaml
srcerer has joined #ocaml
julm has joined #ocaml
gildor has joined #ocaml
srcerer has quit [Ping timeout: 246 seconds]
flux has joined #ocaml
92AAAGD84 has quit [Excess Flood]
Zeneris has quit [Ping timeout: 276 seconds]
MrEvil has joined #ocaml
Zeneris has joined #ocaml
Submarine has quit [*.net *.split]
det has quit [*.net *.split]
schmx has quit [*.net *.split]
julm has quit [*.net *.split]
gildor has quit [*.net *.split]
julm has joined #ocaml
Submarine has joined #ocaml
Zeneris has quit [Ping timeout: 246 seconds]
gildor has joined #ocaml
det has joined #ocaml
schmx has joined #ocaml
gildor has quit [*.net *.split]
det has quit [*.net *.split]
schmx has quit [*.net *.split]
ikaros has quit [Quit: Leave the magic to Houdini]
schmx has joined #ocaml
schmx has quit [Changing host]
schmx has joined #ocaml
gildor has joined #ocaml
det has joined #ocaml
krankkatze has quit [Remote host closed the connection]
Zeneris has joined #ocaml
dark has joined #ocaml
Zeneris has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 245 seconds]
Zeneris has joined #ocaml
MrEvil has quit [Ping timeout: 252 seconds]
thieusoai has quit [Quit: Leaving]
pimmhogeling has joined #ocaml
pimmhogeling has quit [Read error: Connection reset by peer]
M| has quit [Ping timeout: 264 seconds]
M| has joined #ocaml
Associat0r has quit [Quit: Associat0r]
Amorphous has quit [Ping timeout: 246 seconds]
srcerer_ is now known as srcerer
humasect has quit [Quit: Leaving...]