git.iko.soy/elk
on d9985bc help sign in
d9985bcAdd Data.Index.next so outsiders can iterate if necessaryEvan Czaplicki ea77dcfUpdate for AST shuffleEvan Czaplicki 3949a04Cut a bunch of helper functions from Type.ConstraintEvan Czaplicki 6e2f87eUpdate a couple Type/ modules for AST shuffleEvan Czaplicki e34add9Update validate for AST shuffleEvan Czaplicki 8867611Update canonicalize for AST shuffleEvan Czaplicki 9d6d260Update parser for AST shuffleEvan Czaplicki 77a954dShuffle all AST/ files aroundEvan Czaplicki 85b2e31Remove AST.Literal stuff from validation phaseEvan Czaplicki a4e2560Get rid of Type.Constrain.LiteralEvan Czaplicki e28d01eAdd a bunch of type primitivesEvan Czaplicki 4a6c4a0Make Type.Instantiate and Type.Constrain.Pattern more self-containedEvan Czaplicki a794af5Make separate structure for PCtor argsEvan Czaplicki 800c03fUpdate to use Data.IndexEvan Czaplicki a0ee1f5Stop recognizing locally defined binopsEvan Czaplicki 64038dcUpdate canonicalization for dissolution of AST.LiteralEvan Czaplicki 6f43061Update parsers for dissolution of AST.LiteralEvan Czaplicki 232f7dcDissolve AST.Literal, be explicit in Source, Canonical, patterns, etc.Evan Czaplicki 7c09ac2Introduce Data.Index to try to reduce off-by-one errorsEvan Czaplicki 1762552No environment necessary when constraining patternsEvan Czaplicki 2e58494cosmetic: shuffle declarations to make it read betterEvan Czaplicki ad7ff0bCheck in intermediate forms of error tracking codeEvan Czaplicki 9bdfe2bGenerate type constraints for patterns without any type lookups!Evan Czaplicki 1aaf793Update for max tuple size of 3 in typesEvan Czaplicki f3ae567Switch Text to N.Name in Type.Type and Type.StateEvan Czaplicki 27cee06Store canonical types with pattern lookup tableEvan Czaplicki a8bfb99Implement occurs check with fewer operations and allocationsEvan Czaplicki 5bc3a70Switch to max tuple size of 3 in Type.Type / rewrite getVarNamesEvan Czaplicki 45aaf56Limit tuple size to 3 in AST.TypeEvan Czaplicki 5a63520Switch Type.Constraint to use Elm.NameEvan Czaplicki c49ac3aUpdate type constraint generation for effectsEvan Czaplicki 24caf2aVerify that init/onEffects/onSelfMsg exist in canonicalizationEvan Czaplicki 25ea6b6Update Type.Solve for new ASTEvan Czaplicki f903a1bUpdate Type.State for new ASTEvan Czaplicki 8713bd9Update Type.Unify for new ASTEvan Czaplicki cac7198Update Type.Occurs for new ASTEvan Czaplicki ddb21c5Update Type.Constrain.Literal for new ASTEvan Czaplicki 07f61dcDefine NOINLINE versions of Int, Float, etc. in Elm.NameEvan Czaplicki 40e0c37Move code for instantiating source types into Type.TypeEvan Czaplicki 4d68518remove unused importEvan Czaplicki dfaef18Give warnings on unused bindings and variablesEvan Czaplicki 3592fd8Get rid of some ModuleName.Raw referencesEvan Czaplicki 6a866cccosmetic: change up style of binary serialization code for AST.KernelEvan Czaplicki 32834faVerify that port types can actually pass between Elm and JSEvan Czaplicki fe6f91bRemove Var.CanonicalEvan Czaplicki 6f31225Create module names in the AST.Module.Name moduleEvan Czaplicki 6a46ae3Get rid of AST.Literal.glTypeToVarEvan Czaplicki e92c826Update warnings for unused arguments, bindings, etc.Evan Czaplicki 652b118Fix copy/paste error in Bag implementationEvan Czaplicki f1e29e9Remove some Docs/ stuff that's not necessary anymoreEvan Czaplicki