cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Pancake parser fails with comment after final return

Open Kswin01 opened this issue 1 year ago • 1 comments

Currently, if there are any comments placed after the final return statement, a parser error is thrown. Not the most obvious parser error to find. @mn200.

Kswin01 avatar Apr 24 '23 02:04 Kswin01

During discussions today, we found that this only happens when the comment line lacks a newline at the end. The culprit is skip_comment_def from the Pancake lexer theory, so it's hopefully an easy fix.

IlmariReissumies avatar Apr 24 '23 07:04 IlmariReissumies