kentw has quit [Remote host closed the connection]
kassens has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<yunxing>
I think the issue with your change is that, you are now getting a reduce/shift conflict (I'm not sure why it wasn't being reported though). If a compiler is at this state:
<yunxing>
constructor_declaration_no_leading_bar -> UIDENT . generalized_constructor_arguments attributes, where . is the current position of the parser
<yunxing>
if the lookahead token is "(", the parser can shift the token
<yunxing>
However, if the parser is at this state:
<yunxing>
mod_ext_longident -> UIDENT .
<yunxing>
if the lookahead token is "(", the parser can reduce UIDENT to produce a `mod_ext_longident`
schmave has quit [Quit: Connection closed for inactivity]
<yunxing>
sspi: hmm, but to be honest I don't know why the conflict is not reported. Need to do more research into it
<bsansouci>
yunxing: what's the 2nd construct that it's conflicting with?
<yunxing>
the second construct can do a reduce to mod_ext_longident, while the lookahead token is "(". It should be conflicting with the first construct when "(" is the lookahead token, where a shift can be performed. But I don't know why the conflict is not reported.
<bsansouci>
Right, my question is that what's the first on called/used for in ocaml :p
<bsansouci>
type aaa = (B).
<bsansouci>
Or Your example on the issue
<yunxing>
oh I see, so you are asking what "type aaa = A(B).a" used for?
<yunxing>
is used for*
<bsansouci>
Yeah lolol
<bsansouci>
Because a "trivial" solution is to add some symbol to make that one unambiguous right?
<yunxing>
My understanding is that to apply functor A to module B, with the result module, get the type a from the result of it.
<bsansouci>
Oh I see.
<bsansouci>
Conflicts with variants on a tuple
<bsansouci>
Dammit
<bsansouci>
Oh wait functors are gonna be a problem in general then? Because they're capitalized
<yunxing>
The conflict is actually resolvable in a similar way. I just don't understand what's wrong with sspi's solution.
<bsansouci>
What do you mean similar?
<bsansouci>
Didn't ocaml work thanks to the "of" being the lookahead
yunxing has quit [Remote host closed the connection]
hcarty has joined #reasonml
hcarty has quit [Client Quit]
pierpa has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
jonasen has joined #reasonml
jonasen has quit [Client Quit]
bsansouci has quit [Quit: Connection closed for inactivity]
bsansouci has joined #reasonml
Algebr has joined #reasonml
copy` has quit [Quit: Connection closed for inactivity]