dylan changed the topic of #ocaml to: OCaml 3.09.1 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
smimou has quit ["bli"]
khaladan has joined #ocaml
JosephRivers has joined #ocaml
JosephRivers has quit [Remote closed the connection]
khaladan_ has joined #ocaml
khaladan- has joined #ocaml
pango__ has joined #ocaml
khaladan has quit [Connection timed out]
khaladan- is now known as khaladan
khaladan_ has quit [Read error: 110 (Connection timed out)]
mikeX has quit [""zzz""]
gim has quit []
pango_ has quit [Read error: 110 (Connection timed out)]
pango__ is now known as pango
naerbnic has joined #ocaml
naerbnic has quit [Client Quit]
rillig has quit ["exit(EXIT_SUCCESS)"]
sieni has joined #ocaml
bluestorm has joined #ocaml
Smerdyakov has quit ["Leaving"]
slipstream has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
<Amorphous> hi. i have this user that gets a crash with mldonkey (ocaml app that uses some c/c++ libs). i don't realy understand the backtrace it produces. can someone tell me where the crash occurs? is that somewhere in the standard lib / runtime from ocaml? https://savannah.nongnu.org/bugs/?func=detailitem&item_id=9138#comment47
<Amorphous> pango: you didn't have any idea, right?
bohanlon has joined #ocaml
Onime has joined #ocaml
<Onime> hi.. anyone familiar with the %left , %right & co of ocamlyacc ?
<bluestorm> hum
<bluestorm> you mean, the priorities indications ?
<Onime> yes
<Onime> I'm quite confuse on which priorities to set if I want to parse 1 + 2 * 3 = 1+(2*3) (simple exemple but it's the idea)
<bluestorm> hum
<bluestorm> hum
<bluestorm> i think it's the right priority
<bluestorm> the group on the right is evaluated first
<bluestorm> but
<bluestorm> %left, %right doesn't play a role in that case
<bluestorm> i think you just have to define * before +
<Onime> hum... I'll try that first
<jer> you mean * would need to come after + if you want to give it a higher priority (priorities work from lowest to highest)
<jer> %left/%right has nothing to do with the priority, just associativity
<Onime> okay.. now I understand more the doc :)
<bluestorm> "All symbols on the same line are given the same precedence. They have higher precedence than symbols declared before in a %left, %right or %nonassoc line."
<jer> bluestorm, right; that's exactly as i described.. if a symbol (%left/%right/%nonassoc) is defined before another, it is said to have a lower precedence)
<jer> so:
<jer> %left FOO
<jer> %left BAR
<jer> "BAR" would have a higher precedence than FOO
<Onime> thanx
<Onime> just to check if I'm right about %prec
<Onime> | MINUS expr %prec UMINUS { - $2 } means : match MINUS expr and give it the precedence of UMINUS ?
<jer> Onime, right
<Onime> \o/
<jer> anyway, 0430, bedtime
<Onime> :) 1030 here, breakfast time
<Onime> good night
<jer> Onime, enjoy =]
<Onime> arf... which priority should I give to the modulo operator.... I never use it ^^
* Onime nooob never thinks to look at wikipedia
Revision17 has joined #ocaml
slipstream-- has joined #ocaml
vodka-goo has joined #ocaml
slipstre1m-- has joined #ocaml
smimou has joined #ocaml
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has quit [Connection timed out]
mikeX has joined #ocaml
_JusSx_ has joined #ocaml
Bigb[a]ng is now known as Bigbang
smimou has quit ["bli"]
lispy_ has joined #ocaml
lispy has quit [Read error: 104 (Connection reset by peer)]
illya23b has joined #ocaml
exa has joined #ocaml
illya23b has quit []
illya23b has joined #ocaml
lispy has joined #ocaml
lispy_ has quit [Read error: 110 (Connection timed out)]
lispy has quit [Read error: 104 (Connection reset by peer)]
lispy has joined #ocaml
illya23b has quit []
Smerdyakov has joined #ocaml
JKnecht has quit [Remote closed the connection]
bluestorm has quit [Remote closed the connection]
illya23b has joined #ocaml
illya23b has quit [Client Quit]
JKnecht has joined #ocaml
bluestorm has joined #ocaml
quamaretto has joined #ocaml
quamaretto has quit ["Leaving"]
Zamk has joined #ocaml
__DL__ has joined #ocaml
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
Schmurtz has joined #ocaml
Zamk has quit []
quamaretto has joined #ocaml
bluestorm has quit [Remote closed the connection]
descender has quit [Read error: 110 (Connection timed out)]
__DL__ has quit [Read error: 110 (Connection timed out)]
bohanlon has quit ["It is sleepy time for my computer."]
descender has joined #ocaml
_JusSx_ has quit ["leaving"]
<Onime> I've got a shift/reduce conflict I don't manage to get rid of ... anyone has an idea ? expression : term | term op expression
<Onime> I tried %left on op but it didn't work :/
<Smerdyakov> The conflict is shift-reduce on op and the second production you listed?
<Onime> it's on op (s/r conflict on PLUS ... same for MINUS and OR which are in op)
<Smerdyakov> And it's the second production that you lifted that is the reduce side of the s/r conflict?
<Smerdyakov> s/lifted/listed
<Onime> no, it's the term
<Smerdyakov> OK, so the situation is that we just finished parsing a term and now we see a PLUS?
<Onime> I think so
<TaXules> hello Onime
<Onime> hi TaXules
<Smerdyakov> Onime, how long is the parsing diagram for the conflict state? Could you paste it here, or, if it's too long, on the web somewhere?
<Onime> you mean the .output ?
<Smerdyakov> Yes.
<Smerdyakov> Just the part for the state with the conflict.
<Smerdyakov> Hm...
<Smerdyakov> Can you set precedence and associativity on non-terminals?
* Smerdyakov looks it up.
<Smerdyakov> The documentation doesn't convince me that you can.
<Smerdyakov> Try donig away with the addop and multop non-terminals, and then setting the precedence/associativity for each operator.
<Onime> ok.. back in a few minutes :)
<Onime> changes nothing .... neither %left nor %nonassoc solves the pb
<Smerdyakov> Sorry; I'm out of ideas.
<Onime> baaa no pb.. thanx for the tips
<Onime> I'll try to fix this later.. if I got too weird results ^^
<Onime> :q
<Onime> (oups)
bohanlon has joined #ocaml
bohanlon has quit ["Farewell, mortals."]
vodka-goo has quit ["ZzzZ"]
Bigbang is now known as Bigb[a]ng