shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add missing :: in patterns

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

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

@@ -471,7 +471,10 @@

   f <- pAPat

   as <- emany pAPat

   guard (null as || isPConApp f)

-  pure $ foldl EApp f as

+  mt <- eoptional (pSymbol "::" *> pType)

+  let

+    r = foldl EApp f as

+  pure $ maybe r (ESign r) mt

 pPatNotVar :: P EPat

 pPatNotVar = do

-- 

⑨