Add parser for type annotations

2016-09-08 17:04:29 -07:00 · 2016-09-08 17:04:29 -07:00 · cc0c1f756f
commit cc0c1f756f
parent c5967955f9
1 changed files with 4 additions and 0 deletions
--- a/src/Dhall/Parser.hs
+++ b/src/Dhall/Parser.hs
@ -137,6 +137,10 @@ expr = mdo
            <$> some letExpr
            <*> (match Lexer.In *> expr)
            )
+        <|> (   Annot
+            <$> bexpr
+            <*> (match Lexer.Colon *> expr)
+            )
        )

    letExpr <- rule