aphprentice__ has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 245 seconds]
swistak35 has quit [Ping timeout: 244 seconds]
swistak35 has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
ravenous_ has joined #ocaml
tormen_ has joined #ocaml
FreeBirdLjj has joined #ocaml
tormen has quit [Ping timeout: 244 seconds]
ravenous_ has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Ping timeout: 244 seconds]
mbuf has joined #ocaml
nullifidian__ has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
nullifidian_ has quit [Ping timeout: 245 seconds]
kolontaev has quit [Quit: leaving]
Jeanne-Kamikaze has quit [Quit: Leaving]
gravicappa has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
narimiran has joined #ocaml
sonologico has quit [Remote host closed the connection]
bitwinery has joined #ocaml
iovec has joined #ocaml
ravenous_ has joined #ocaml
Haudegen has joined #ocaml
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 252 seconds]
vicfred has quit [Quit: Leaving]
bitwinery has quit [Quit: Leaving]
ravenous_ has quit [Ping timeout: 252 seconds]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 272 seconds]
kakadu has joined #ocaml
jao has quit [Ping timeout: 258 seconds]
iovec has quit [Quit: Connection closed for inactivity]
mfp has joined #ocaml
_whitelogger has joined #ocaml
mbuf has quit [Ping timeout: 245 seconds]
mbuf has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mbuf has quit [Ping timeout: 248 seconds]
kakadu has quit [Ping timeout: 245 seconds]
jnavila has joined #ocaml
kakadu_ has joined #ocaml
mbuf has joined #ocaml
jnavila has quit [Ping timeout: 245 seconds]
Haudegen has quit [Quit: Bin weg.]
oni-on-ion has joined #ocaml
ygrek has joined #ocaml
lalitmee has joined #ocaml
freyr69 has joined #ocaml
lalitmee has quit [Remote host closed the connection]
ygrek has quit [Remote host closed the connection]
mbuf has quit [Quit: Leaving]
lalitmee has joined #ocaml
bartholin has quit [Remote host closed the connection]
Haudegen has joined #ocaml
ggole has joined #ocaml
vyorkin has joined #ocaml
<vyorkin>
idk if thats a right place to ask questions about menhir, but I'm struggling to resolve a couple of shift/reduce conflicts im my grammar for the Tiger programming language (I'm working through the A. Appel's book)
<vyorkin>
and here is the file that describes shift/reduce conflicts http://ix.io/1SAS
<vyorkin>
I'm quite new to menhir (and parsing too) so I would really appreciate if somebody who has experience could take a quick look
<zozozo>
vyorkin: not really sure, but I think thez error about state 143 may be because the parser doesn't when the nonempty list of ty_dec stops
<def`>
vyorkin: I think zozozo is right
<def`>
The problem with your grammar is that you have two level of lists:
<def`>
decs are list of dec
<def`>
dec are lists of fun_dec or ty_dec
<def`>
this is inherently ambiguous: if you have two consecutive types, is it a two dec of a single type or a single dec of two types ?
<def`>
you should probably remove the nonempty_list in dec_ty_fun.
vyorkin has quit [Ping timeout: 258 seconds]
spew has joined #ocaml
vicfred has joined #ocaml
lalitmee has quit [Ping timeout: 244 seconds]
picolino has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
oni-on-ion has joined #ocaml
lalitmee has joined #ocaml
oni-on-ion has quit [Ping timeout: 264 seconds]
vyorkin has joined #ocaml
lalitmee has quit [Remote host closed the connection]
lalitmee has joined #ocaml
q9929t has joined #ocaml
jao has joined #ocaml
zolk3ri has joined #ocaml
vyorkin has quit [Remote host closed the connection]
vyorkin has joined #ocaml
q9929t has quit [Quit: q9929t]
<freyr69>
I have `class 'a t` and two inherited classes, one inherits `[`Foo] t`, another one -- `[`Bar] t`
<freyr69>
Why could I coerce one inherited from [`Foo] t to [`Bar] t?
<freyr69>
*can
zolk3ri has quit [Quit: leaving]
<def`>
the subtyping is structural, it does not depend on the name t but on the definition of t (with the appropriate substitution).
zolk3ri has joined #ocaml
jnavila has joined #ocaml
<ggole>
Phantom type parameter?
lalitmee has quit [Ping timeout: 245 seconds]
<freyr69>
Yes
<freyr69>
so I need to add a field?
<def`>
you can't have a phantom type on a class alone
<def`>
freyr69: yes you need to add a field, the 'a needs to occur
<def`>
in the definition of t
<def`>
type 'a opaque class ['a] t = object method dummy : 'a opaque end;;
<def`>
Then the sub-typing relation of 'a t will be determined by the variance of opaque: use type +'a opaque for covariance, type -'a for contra and type 'a for invariance.
jarindyk2 has joined #ocaml
zolk3ri has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
vyorkin has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
vyorkin has joined #ocaml
vyorkin has quit [Read error: Connection reset by peer]
vyorkin has joined #ocaml
lalitmee has joined #ocaml
ygrek has quit [Remote host closed the connection]
freyr69 has quit [Remote host closed the connection]
vyorkin has quit [Remote host closed the connection]
vyorkin` has joined #ocaml
narimiran has quit [Ping timeout: 245 seconds]
sonologico has joined #ocaml
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 248 seconds]
vyorkin` has quit [Remote host closed the connection]
vyorkin has joined #ocaml
ygrek has joined #ocaml
AtumT has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
vyorkin has quit [Read error: Connection reset by peer]
zolk3ri has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
vyorkin has joined #ocaml
stux|RC-only has quit [Quit: Aloha!]
ygrek has quit [Ping timeout: 258 seconds]
stux|RC-only has joined #ocaml
zolk3ri has quit [Quit: leaving]
vyorkin has quit [Remote host closed the connection]
vyorkin has joined #ocaml
lalitmee has quit [Remote host closed the connection]
narimiran has joined #ocaml
Serpent7776 has joined #ocaml
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
<cemerick>
anyone aware of a yaml impl that doesn't rely on C libs/ffi?
nullifidian__ has joined #ocaml
jnavila has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
nullifidian_ has quit [Ping timeout: 258 seconds]
vyorkin` has joined #ocaml
vyorkin` has quit [Remote host closed the connection]
ravenous_ has joined #ocaml
vyorkin has quit [Remote host closed the connection]
vyorkin has joined #ocaml
ravenous_ has quit [Ping timeout: 252 seconds]
jnavila has quit [Ping timeout: 246 seconds]
jnavila has joined #ocaml
vyorkin has quit [Remote host closed the connection]
RalfJ has quit [Ping timeout: 272 seconds]
RalfJung has joined #ocaml
bartholin has joined #ocaml
vyorkin has joined #ocaml
nullifidian_ has joined #ocaml
RalfJung has quit [Read error: Connection reset by peer]
RalfJ has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
nullifidian__ has quit [Ping timeout: 272 seconds]
vyorkin has quit [Remote host closed the connection]
vyorkin has joined #ocaml
ravenous_ has joined #ocaml
KeyJoo has joined #ocaml
notnotdan has quit [Ping timeout: 272 seconds]
vyorkin has quit [Remote host closed the connection]
kakadu has quit [Quit: Konversation terminated!]
vyorkin has joined #ocaml
notnotdan has joined #ocaml
vyorkin has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
kakadu has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 246 seconds]
vyorkin has joined #ocaml
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 272 seconds]
ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Ping timeout: 246 seconds]
narimiran has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: leaving]
ggole has quit [Quit: Leaving]
oni-on-ion has joined #ocaml
kakadu has quit [Remote host closed the connection]
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
Hrundi_V_Bakshi has joined #ocaml
oni-on-ion has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
vyorkin has quit [Ping timeout: 272 seconds]
AtumT_ has quit [Quit: AtumT_]
oni-on-ion has quit [Remote host closed the connection]
Hrundi_V_Bakshi has quit [Ping timeout: 246 seconds]