parse ---- correctly

anoma · Jun 30, 2023 · 85b1554 · 85b1554
1 parent ff940b4
commit 85b1554
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/Juvix/Parser/Lexer.hs b/src/Juvix/Parser/Lexer.hs
@@ -79,7 +79,7 @@ space' special =
           when
             special
             ( notFollowedBy
-                ( P.chunk Str.judocStart
+                ( (P.chunk Str.judocStart >> P.chunk " ")
                     <|> P.chunk Str.judocBlockEnd
                 )
             )

diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
@@ -2,12 +2,14 @@
 module -- Declaring a top module of name:
 Format;
 
+------------ many --- in comment
+
 import -- Import a module of name:
 Stdlib.Prelude open -- Bring all names into scope but..
 hiding -- Hide some names
-{-- like this 
+{-- like this
 ,; -- don't want , here
--- Bool either 
+-- Bool either
 Bool; true; false};
 
 import Stdlib.Data.Nat.Ord open;