shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Allow extra ';' in blocks

--- a/src/MicroHs/Parse.hs

+++ b/src/MicroHs/Parse.hs

@@ -338,7 +338,8 @@

 pFields :: P (Either [SType] [(Ident, SType)])

 pFields = Left  <$> emany pSAType

-      <|> Right <$> (pSpec '{' *> esepBy ((,) <$> (pLIdentSym <* pSymbol "::") <*> pSType) (pSpec ',') <* pSpec '}')

+      <|> Right <$> (pSpec '{' *> (concatMap flat <$> esepBy ((,) <$> (esepBy1 pLIdentSym (pSpec ',') <* pSymbol "::") <*> pSType) (pSpec ',') <* pSpec '}'))

+  where flat (is, t) = map (,t) is

 pSAType :: P (Bool, EType)

 pSAType = (,) <$> pStrict <*> pAType

-- 

⑨