cubicaltt icon indicating copy to clipboard operation
cubicaltt copied to clipboard

Published 20 hours ago • verified publisher icon mortberg

cubical.exe does not support {- -} comments

Open mwand opened this issue 6 years ago • 2 comments

mwand avatar Dec 29 '18 18:12 mwand

cubical.exe does not apparently support block comments using {- ... -}. In particular, demo.ctt crashes on a parse error at line 2, but other files seem to load just fine.

mwand avatar Dec 29 '18 18:12 mwand

Very strange. It is working for me. I suspect that you have an old version of BNFC:

http://hackage.haskell.org/package/BNFC

We are using this tool to generate the parser. I have version 2.8.1 of BNFC and there is no problem for me to load demo.ctt.

mortberg avatar Jan 10 '19 15:01 mortberg