git.iko.soy/elk
on 3ce4b09 help sign in
history ofcompiler/SourceSyntax/Expression.hs
all commits
128e21dPrettier printingEvan Czaplicki 7c159b2Enable parsing of basic markdown interpolationEvan Czaplicki 0e62924reprime when printing expressions and patternsEvan Czaplicki b26edccSimplify representation of source locationsEvan Czaplicki abb6dc1Prettier printing for infix functions like `div`Evan Czaplicki 8ffcf9ePrettier printing for infix operator definitionsEvan Czaplicki c942afeNicer pretty printing and a special variable to "Save the Environment"Evan Czaplicki 1ffaad1Create an `isOp` function for strings.Evan Czaplicki 93a948cAdd back in checks for duplicate and out-of-order definitions.Evan Czaplicki 0070a84Switch the internal data constructor name for tuples. Before tuple constructors could be shadowed by user defined ADT's such as "Tuple0", "Tuple2", etc. Now it uses "_Tuple0" to make it impossible to overlap with user defined ASTs.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 cdb63bdStart writing a new type checker based on the ATAPL chapter on efficient type-inference.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 bbb2b2aBegin migrating the AST to its own branch for the source syntax of the language.evancz