git.iko.soy/elk
on master help sign in
history ofdfaef18..master
compare
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