git.iko.soy/elk
on 4c51159 help sign in
4c51159Create a Type.Pool module specifically for variable pools. Start using a state transformer to thread the pool and errors through.Evan Czaplicki 2ef1882Start adding constraint generation for declarations.Evan Czaplicki 5cc99f5Remove the old type-checker code.Evan Czaplicki 0ed7205Add pretty printing for type constraints.Evan Czaplicki 96fd5bfUpdate program parser to use Parse.DeclarationsEvan Czaplicki d29ca3bCreate a Parse.Declaration file for all declarations. Get rid of special purpose Parse.Foreign library.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 078692aGet Optimize.hs updated for the newer AST.Evan Czaplicki b87b845Move the Environment.hs and Fragment.hs files down a directory.Evan Czaplicki ca8441fContinue getting the new type-checker in order.Evan Czaplicki 947b82eSwitch more files over to new ExpressionsEvan Czaplicki 5c68f6bConvert more files to the new Expression format that relies more on patterns. Seems to clean things up so far.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 351c33cStart generating constraints for let-expressions. Account for mutual recursion, but will throw a runtime error if a user has given type annotations.Evan Czaplicki cdb63bdStart writing a new type checker based on the ATAPL chapter on efficient type-inference.Evan Czaplicki 74d3c35Fix optimization bug with > sign.Evan Czaplicki 60de915Merge branch 'dev' of https://github.com/evancz/Elm into devEvan Czaplicki d700acfFix substitutions for ExplicitList.Evan Czaplicki f32390cMerge pull request #184 from A1kmm/dont-print-constraints-during-unifyEvan Czaplicki 89cecdbAlso fix merge to remove extra newlineAndrew Miller 57d1084Fix up previous mergeAndrew Miller 1b4aca9Turn off debug code that printed all constraints during unify.Andrew Miller a2e9befMerge branch 'dev' of github.com:/A1kmm/Elm into devAndrew Miller 25671f5update changelogEvan Czaplicki 9d68c10Add support for triple-quoted multi-line stringsEvan Czaplicki d91419dAdd missing dependencies to Elm.cabal.Evan Czaplicki 8705c28Merge branch 'dev' of git+ssh://github.com/A1kmm/Elm into devAndrew Miller e63b12dFix some style weirdness in Setup.hsEvan Czaplicki 88e8f81Add Parse.Literal to the Elm.cabal fileEvan Czaplicki d3b88f8Add missing other-modules entry Parse.LiteralAndrew Miller 5c1089aFix bugs in Automaton discovered by JeffEvan Czaplicki 0d41af8Update changelogEvan Czaplicki 340c2e7Switch to using px to set text height instead of em.Evan Czaplicki da9c493Fix pattern matching aliases so that it works in all cases. Previously it was totally broken.Evan Czaplicki cee9f6aAdd two dummy files to make it possible to build the compiler from within emacs. This makes it faster to type-check things and start testing functions.Evan Czaplicki 48e7584Update the change logEvan Czaplicki e80ea9eAdd support for pattern matching on literals.Evan Czaplicki c158155Switch to using (Map String String) instead of (String -> String) as the environment.Evan Czaplicki 98eceb5Clean up Transform/Replace.hs. Switch the environment from a (String -> String) to a (Map String String).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 4a6032fAdd fileevancz d0c634fAllow collages to get property updates, such as opacity and links.evancz 13dacfdStop a bunch of keyboard signals from firing too many events.evancz afacd1bAdd `hoverable` and `hoverables`evancz 316cd1dAdd an experimental API for dev tools.evancz a9de234Solve a "non-exhaustive pattern match"evancz 35981ebFinish parameterizing the AST and properly check errors in let expressions.evancz 5e7be20add filepath to docs dependenciesevancz