git.iko.soy/elk
on 27cee06 help sign in
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 c215b4fGet canonicalization of modules compilingEvan Czaplicki 4c79dddExpose a bit more about reporting Results and RegionsEvan Czaplicki fcbda99Get canonicalization of module going againEvan Czaplicki b49e8f7Add code for canonicalizing case expressionsEvan Czaplicki 8b88494Get canonicalization of binop sequences working againEvan Czaplicki bfb8ecaGet a decent chunk of expression canonicalization compilingEvan Czaplicki c62990eUpdate parser for the AST.Pattern moveEvan Czaplicki a561bf3Thread more region info through validationEvan Czaplicki 1b6b47aMove AST.Patterns into the phased expression ASTEvan Czaplicki e55ba2bHave a list of patterns in Src.Lambda AST nodesEvan Czaplicki 02a7ce0No more Bool literals / add locations to more pattern varsEvan Czaplicki c19392fMove Bag and OneOrMore to Data/ directoryEvan Czaplicki 38bfa1bGet Parse.Kernel compiling againEvan Czaplicki 6aa367fSwitch to N.Name in more casesEvan Czaplicki 14adb8eGet Parse.Kernel compiling againEvan Czaplicki 5fab52aSimplify validation phase a bunchEvan Czaplicki 087045fUpdate the parser code for AST changesEvan Czaplicki 903977aReformulate canonicalization environmentEvan Czaplicki 959c23dReformulate AST for changes in validation / canonicalizationEvan Czaplicki da9e6b7Update parser, remove (,,) syntax, and disallow top-level destructuresEvan Czaplicki 9111afaAdd ops, accessors, unit, and tuples to source ASTEvan Czaplicki 3b6fe38Begin switching parser from UTF-16 to UTF-8Evan Czaplicki fa03159Account for client and server kernel codeEvan Czaplicki 6397e12Make it cheaper to parse symbolsEvan Czaplicki 765f61aDestruct Parser new type directly, not with helperEvan Czaplicki