Open Matafou opened 4 years ago
Thank you!
At the moment I'm not able to really understand the issue (because I don't have time to investigate), so I've created the PR with the contents you've suggested (I haven't even tried to compile it).
Hopefully I'll have a deeper look into it very soon.
Hi, It seems your lexing loses the last parameter of an assoc. It seems to be fixable by this in glical_kernel in the Lexing module (I am too lazy to make a pull request for such a small fix):