From 37833b67c1fc52a996fd9819fd3f86990a974ff6 Mon Sep 17 00:00:00 2001 From: Ilya Rezvov Date: Wed, 15 Jan 2025 17:31:51 -0700 Subject: [PATCH] fix comments lexing --- src/Language/Wasm/Lexer.x | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Language/Wasm/Lexer.x b/src/Language/Wasm/Lexer.x index 57f9f96..d8b2551 100644 --- a/src/Language/Wasm/Lexer.x +++ b/src/Language/Wasm/Lexer.x @@ -39,13 +39,13 @@ $alpha = [$lower $upper] $namepunct = [\! \# \$ \% \& \' \* \+ \- \. \/ \: \< \= \> \? \@ \∖ \^ \_ \` \| \~] $idchar = [$digit $alpha $namepunct] $space = [\ \x09 \x0A \x0D] -$linechar = [^ \x09] +$linechar = [^ \x09 \x0A \x0D] $sign = [\+ \-] $doublequote = \" @keyword = $lower $idchar* @reserved = $idchar+ -@linecomment = ";;" $linechar* \x0A +@linecomment = ";;" $linechar* [\x0A \x0D] @startblockcomment = "(;" @endblockcomment = ";)" @num = $digit (\_? $digit+)*