git.iko.soy/elk
on 727d708 help sign in
history ofcompiler/Parse/Expression.hs
all commits
2609f5dAdd support for `let (==>) = Lambda in …`Evan Czaplicki 18adffcTurn unary negation back on.Evan Czaplicki 90d50dbTurn off unary negation parsing for now. It has weird behavior when paired with function calls:Evan Czaplicki 2b98863Fix parsing of unary negation when it is the first thing in parentheses.Evan Czaplicki 343dcf2Add support for unary negation with the '-' symbol. Makes the use of '-' whitespace sensitive, as in the unary negation proposal in elm-discuss.Evan Czaplicki 0ed7205Add pretty printing for type constraints.Evan Czaplicki e4ca967Create a source syntax for types that will get converted into the internal type representation during type checking.Evan Czaplicki f2b3ed7Start using the PrettyPrint library to show expressions, literals, and patterns.Evan Czaplicki 69ed763Start switching over to an AST that uses patterns in lambdas and pulls the arguments out of Definitions (placing them in lambdas).Evan Czaplicki cd83c4cAllow full expressions as the last member of binary expressions (t + t + e)Evan Czaplicki 9a40249Fix the confusion with "Cons" and "Nil" in issue #176.evancz c7dce08Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.evancz 459cf8eSwitch parsers over to new ASTevancz