rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pi3ce has joined #ocaml
jabuxas has quit [Ping timeout: 256 seconds]
jutty has quit [Changing host]
jutty has joined #ocaml
motherfsck has quit [Ping timeout: 255 seconds]
mmohammadi9812 has joined #ocaml
rgrinberg has joined #ocaml
mmohammadi9812 has quit [Ping timeout: 255 seconds]
mmohammadi9812 has joined #ocaml
mmohammadi9812 has quit [Remote host closed the connection]
mmohammadi9812 has joined #ocaml
motherfsck has joined #ocaml
mmohammadi9812 has quit [Remote host closed the connection]
waleee has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
jutty has quit [Quit: jutty]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
prgbln has joined #ocaml
myrkraverk_ has quit [Read error: Connection reset by peer]
myrkraverk_ has joined #ocaml
myrkraverk_ has quit [Read error: Connection reset by peer]
myrkraverk_ has joined #ocaml
Square3 has quit [Ping timeout: 256 seconds]
mal`` has quit [Quit: Leaving]
mal`` has joined #ocaml
rgrinberg has joined #ocaml
Serpent7776 has joined #ocaml
mmohammadi9812 has joined #ocaml
mmohammadi9812 has quit [Ping timeout: 272 seconds]
<discocaml>
<leostera> is there a table somewhere with the values of max_int per architecture?
<discocaml>
<leostera> i have a test that uses it, but the value seems to be slightly larger on github action's ubuntu x86 machines than in my own x86 machine
<discocaml>
<leostera> (possibly gh is running an arm box)
<discocaml>
<coollcat> Best solution for sqrt of an integer? Right now I'm doing `int_of_float (sqrt (float_of_int (num)))` and I'm not sure if this is the best solution
<discocaml>
<coollcat> num is always a perfect square
mizlan has quit [Ping timeout: 264 seconds]
azimut has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
bartholin has joined #ocaml
<discocaml>
<bluddy5> max_int should not be different per architecture. It should be 2^62-1 for 64-bit, and 2^30-1 for 32-bit.
mmohammadi9812 has quit [Remote host closed the connection]
<discocaml>
<lubegasimon_> How to write rules that expand to each other without hitting a cyclic grammar error in menhir. For instance, assume the rule `foo` expands to the rule `bar` which expands to `foo`. what I intend to do is more or less similar to what recursive modules in OCaml do
<discocaml>
<lubegasimon_> ```
<discocaml>
<lubegasimon_> foo:
<discocaml>
<lubegasimon_> | b = bar { b }
<discocaml>
<lubegasimon_>
<discocaml>
<lubegasimon_> bar:
<discocaml>
<lubegasimon_> | f = foo { f }
<discocaml>
<lubegasimon_> ```
<discocaml>
<lubegasimon_> How could one write rules that expand to each other without hitting a cyclic grammar error in menhir? For instance, assume the rule `foo` expands to the rule `bar` which expands to `foo`. what I intend to do is more or less similar to what recursive modules in OCaml do
<discocaml>
<lubegasimon_> ```
<discocaml>
<lubegasimon_> foo:
<discocaml>
<lubegasimon_> | b = bar { b }
<discocaml>
<lubegasimon_>
<discocaml>
<lubegasimon_> bar:
<discocaml>
<lubegasimon_> | f = foo { f }
<discocaml>
<lubegasimon_> ```
<discocaml>
<lubegasimon_> How could one write production rules that expand to each other without hitting a cyclic grammar error in menhir? For instance, assume the rule `foo` expands to the rule `bar` which expands to `foo`. what I intend to do is more or less similar to what recursive modules in OCaml do
<discocaml>
<lubegasimon_> ```
<discocaml>
<lubegasimon_> foo:
<discocaml>
<lubegasimon_> | b = bar { b }
<discocaml>
<lubegasimon_>
<discocaml>
<lubegasimon_> bar:
<discocaml>
<lubegasimon_> | f = foo { f }
<discocaml>
<lubegasimon_> ```
szkl has joined #ocaml
<discocaml>
<octachron> Do you have a non-erroneous example?
bibi_ has quit [Quit: Konversation terminated!]
mizlan has joined #ocaml
<discocaml>
<lubegasimon_> Regarding what I intend to have, no!
<discocaml>
<lubegasimon_> however, other rules I have locally that don't expand to each compile just fine
mizlan has quit [Ping timeout: 240 seconds]
Serpent7776 has quit [Ping timeout: 252 seconds]
<discocaml>
<octachron> Well, I am confused, your example doesn't define any valid grammar, hitting a cyclic grammar error is the best that can happen in this case.
<discocaml>
<lubegasimon_> The example is invalid, it demonstrates what I intend to do
<discocaml>
<drupyog> Your grammar is ill-defined. It's similar to wanting `type t = u and u = t`
Square3 has joined #ocaml
Tuplanolla has joined #ocaml
mizlan has joined #ocaml
<discocaml>
<octachron> or `let x = y and y = x`
mizlan has quit [Ping timeout: 255 seconds]
<discocaml>
<lubegasimon_> The rules (media_condition & media_in_parens) I want to formulate are derived from this syntax `<media-condition> = <media-in-parens> | ...`& `<media-in-parens> = ( <media-condition> ) | <media-feature> | ... `.