rwmjones changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.1 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
seafood_ has joined #ocaml
kmeyer has quit [Remote closed the connection]
joshcryer has joined #ocaml
kmeyer has joined #ocaml
buluca has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
pango has quit [Remote closed the connection]
middayc has joined #ocaml
pango has joined #ocaml
joshcryer has quit [Remote closed the connection]
Nutssh has joined #ocaml
<yminsky> jonafan: if you're looking for an implementation of lightweight threads for ocaml, you can try this: http://www.ocsigen.net/trac/browser/lwt
postalchris has joined #ocaml
postalchris has quit [Client Quit]
AxleLonghorn has joined #ocaml
AxleLonghorn has left #ocaml []
seafood_ has quit []
pango has quit [Remote closed the connection]
pango has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
kmeyer has quit [Remote closed the connection]
kmeyer has joined #ocaml
nashdj has joined #ocaml
seafood_ has joined #ocaml
yminsky has quit []
Illocution has quit ["Lost terminal"]
Snrrrub has quit [Read error: 104 (Connection reset by peer)]
kmeyer has quit [Remote closed the connection]
kmeyer has joined #ocaml
mrsolo has joined #ocaml
seafood_ has quit []
seafood_ has joined #ocaml
kmeyer has quit [Remote closed the connection]
Yoric[DT] has joined #ocaml
ttamttam has joined #ocaml
buluca has joined #ocaml
nashdj has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
madroach has joined #ocaml
netx has quit [Remote closed the connection]
Associat0r has quit []
<middayc> yminsky: interesting , thanks
Associat0r has joined #ocaml
madroach has quit [Remote closed the connection]
middayc has quit [Read error: 110 (Connection timed out)]
filp has joined #ocaml
middayc has joined #ocaml
netx has joined #ocaml
kmeyer has joined #ocaml
netx has quit ["Leaving"]
netx has joined #ocaml
hsuh has joined #ocaml
kelaouchi has joined #ocaml
alexp has joined #ocaml
Associat0r has quit []
kelaouch1 has quit [Read error: 110 (Connection timed out)]
hsuh has quit ["qwan"]
filp has quit [Read error: 104 (Connection reset by peer)]
petchema has quit [Remote closed the connection]
filp has joined #ocaml
petchema has joined #ocaml
petchema has quit [Remote closed the connection]
petchema has joined #ocaml
petchema has quit [Remote closed the connection]
petchema has joined #ocaml
hkBst has joined #ocaml
asmanur has joined #ocaml
seafood_ has quit []
middayc_ has joined #ocaml
middayc has quit [Read error: 110 (Connection timed out)]
middayc_ has quit []
cap has left #ocaml []
seafood_ has joined #ocaml
buluca has quit [No route to host]
suppaman has joined #ocaml
suppaman has left #ocaml []
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 113 (No route to host)]
mrsolo_ has quit ["This computer has gone to sleep"]
mrsolo has joined #ocaml
kelaouch1 has joined #ocaml
dramsay has joined #ocaml
nashdj has joined #ocaml
mrsolo has quit ["This computer has gone to sleep"]
kelaouchi has quit [Read error: 110 (Connection timed out)]
mrsolo has joined #ocaml
seafood_ has quit []
mrsolo has quit ["This computer has gone to sleep"]
mrsolo has joined #ocaml
mrsolo has left #ocaml []
marmottine has joined #ocaml
<bla> This is either bug in camlp4 or incompatibility I don't understand:
<bla> (code in a moment)
pango has quit [Remote closed the connection]
<bla> Problem is that it worked few minutes ago.
<bla> It generally dislikes `END as I see... `ENDING is ok.
<bla> Can somebody explain me why?
<bla> Without preprocessor is ok.
<bla> It's not very important for me, but I like camlp4 error reports.
pango has joined #ocaml
Associat0r has joined #ocaml
<jonafan> this multithreading thing is starting to take shape in my mind
<jonafan> pockets of little mutable states implemented immutably
mordaunt has quit [Read error: 104 (Connection reset by peer)]
thermoplyae has joined #ocaml
nashdj has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
<bla> Any idea? ;-)
ttamttam has left #ocaml []
<Yoric[DT]> hi again
bluestorm has joined #ocaml
<bla> Hi Yoric[DT]; hi bluestorm.
<bluestorm> :p
<bla> ;p maybe you know something: http://rafb.net/p/tCUcmn32.html
<bluestorm> (of course i know something. )
<bla> About strange camlp4 behaviour? ;D
<bla> I wouldn't ask you this question at all if I hadn't knew you know something.
<bluestorm> hum
<bluestorm> what's pa_extend ?
<bluestorm> as your problem seems related to `END (is it the error line ?), maybe END is a keyword in pa_extend or something like that ?
olleolleolle has joined #ocaml
psnively has joined #ocaml
alexp has quit ["Leaving"]
suppaman has joined #ocaml
<bla> bluestorm, shouldn't be probably...
<bla> Checking without lexel involved.
<bla> Yeah, you are probably sure.
<Yoric[DT]> END is a keyword in camlp4rf/camlp4of .
<bla> And it doesn't recognize `END from END?
<Yoric[DT]> iirc, not in camlp4r/camlp4o, though
ita has joined #ocaml
<bla> In pa_extend rather.
jderque has joined #ocaml
<bluestorm> [19:20:44] <bla> And it doesn't recognize `END from END?
<bluestorm> the fact is that
<bluestorm> he parses `foo as "`"; id
Tetsuo has joined #ocaml
<bluestorm> so if foo is a keyword and not an idea, that won't work
<bla> Hm. The same will apply to `EXTEND.
<bluestorm> probably
<bluestorm> you can use END_ and EXTEND_
<bluestorm> a bit ugly, but in practice i think "if it's a keyword, add an _" is easier to remember and adopt for other programmers than some workaround like `FINISH
Morphous_ has joined #ocaml
suppaman has left #ocaml []
filp has quit ["Bye"]
<bla> Hm.
<bla> I can still name it `End just. ;-) But it's strange there's a conflict like this.
<bla> It could be solved with polymorphic variants. But it wouldn't be possible with normal ones.
Morphous has quit [Connection timed out]
<jonafan> i think my multithreading idea is a one way ticket to deadlock city
<bla> bluestorm, thanks.
<ita> jonafan: next you will find the great race condition city
<jonafan> gtk has its own mutex, and if one of the other threads tries to grab it so it can update the ui, and the gtk thread is already working and happens to want to send a message to that thread, problems may occur
* mbishop is looking at Hoare's CSP memo right now
bluestorm has quit ["Konversation terminated!"]
<jonafan> ah, i guess lablgtk has a fix
asmanur has quit [Remote closed the connection]
<jonafan> this system is insane
* jonafan makes it
thermoplyae has quit ["daddy's in space"]
ygrek has joined #ocaml
ahf has quit [Client Quit]
psnively has quit []
bluestorm has joined #ocaml
ahf has joined #ocaml
Oatschool has joined #ocaml
filp has joined #ocaml
<jonafan> does that LWT thing support proper threads so ocaml can run on multiple cores?
Illocution has joined #ocaml
jderque has quit ["bye"]
bluestorm has quit ["Konversation terminated!"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
thermoplyae has joined #ocaml
pango is now known as pango_
olleolleolle has quit []
<pango_> jonafan: lightweight threads are a concurrent programming abstraction, not a parallelisation abstraction; So, of all threading models, this one is the less likely to tackle that specific problem
<jonafan> nertz
_PenPen_ has joined #ocaml
ygrek has quit [Remote closed the connection]
* Yoric[DT] had read "TWT" and was wondering about the relation between empty spaces and threads :)
<Yoric[DT]> On a different note, does anyone know how Java differentiates between integers and references ?
dobblego has joined #ocaml
<ita> Yoric[DT]: int is a simple type while Integer is a class
<Yoric[DT]> Yeah, but how does the JVM differentiate an int from a class ?
<ita> Yoric[DT]: and (new Integer(2)).value() is used to retrieve the int
<Yoric[DT]> Specifically, how does the GC do ?
<Yoric[DT]> I know how the OCaml gc does.
<Yoric[DT]> But I'm starting to suspect that the JVM GC doesn't at all.
<Yoric[DT]> Or perhaps there's a dirty hack.
<Yoric[DT]> (well, dirtier than OCaml)
<ita> well well .. look at the source :-)
dibblego has quit [Read error: 110 (Connection timed out)]
suppaman has joined #ocaml
buluca has joined #ocaml
_PenPen_ has quit ["Leaving"]
suppaman has quit ["all your bye are belong to us"]
<Yoric[DT]> ita: :)
<jonafan> is zoggy good?
<jonafan> oooor cameleon
marmottine has quit ["Quitte"]
Demitar has joined #ocaml
filp has quit ["Bye"]
nashdj has joined #ocaml
dramsay has quit [Read error: 110 (Connection timed out)]
* Yoric[DT] hasn't been able to get anything from cameleon.
<jonafan> nor have i
Tetsuo has quit [Remote closed the connection]
hkBst has quit ["Konversation terminated!"]
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml