git.iko.soy/elk
on 9d36caa help sign in
history ofcompiler/SourceSyntax/Expression.hs
all commits
9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki df149b4Move documentation to make haddock happyEvan Czaplicki 93321ecFix issue with unparenthesized patterns in pretty printed lambdas pointed out by @JoeyEremondi in #446Evan Czaplicki 6febb89Fix pretty printing for tuples as discoered by @JoeyEremondi and/or @jmite in PR #446Evan Czaplicki 1191c8aAdd comments to explain the thought process and structure of the ASTEvan Czaplicki 329077fGet rid of input handlers for nowEvan Czaplicki 9dda928make conversion functions for input ports optionalEvan Czaplicki 8cadc4dRemove comment for things that no longer existEvan Czaplicki 3b9862aSwitch from Types to Variables in the representation of PortInEvan Czaplicki 7cf5a56Add Expressions for ports to check and validate types nicelyEvan Czaplicki bd4d76eChenge representation of Expr, add ports representationEvan Czaplicki 7b20993Get rid of dependency on uniplate so AST does not need to derive Data or TypeableEvan Czaplicki e32eab0Merge branch 'master' into devEvan Czaplicki c864348Abstract out the code for markdown parsing, making it easier to switch out the implementationEvan Czaplicki 56ecbbcImplement markdown interpolationEvan Czaplicki 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