Language.Glambda.Parse

Parses tokens into the un-type-checked AST. Parsing, in glambda, also includes name resolution. This all might conceivably be done in a later pass, but there doesn't seem to be an incentive to do so.

Documentation

parseStmtsG :: [LToken] -> GlamE [Statement]

Parse a sequence of semicolon-separated statements, aborting with an error upon failure

parseStmts :: [LToken] -> Either String [Statement]

Parse a sequence of semicolon-separated statements

parseStmtG :: [LToken] -> GlamE Statement

Parse a Statement, aborting with an error upon failure

parseExpG :: [LToken] -> GlamE UExp

Parse a UExp, aborting with an error upon failure

parseStmt :: [LToken] -> Either String Statement

Parse a Statement

parseExp :: [LToken] -> Either String UExp

Parse a UExp