fixed parse error

This commit is contained in:
Dmitry Zuikov 2023-02-09 14:33:26 +03:00
parent 54377068aa
commit ba178789e7
1 changed files with 6 additions and 6 deletions

View File

@ -168,7 +168,7 @@ top = many $ do
topTerm :: forall c . MegaConstraints c => Parser (Syntax c)
topTerm = do
sc
L.lexeme sc $ do
co <- MegaContext . Just <$> getOffset
s0 <- symbol scTop
ss <- many (syntax scTop)