git.iko.soy/elk
on 445ea07 help sign in
history ofsrc/Type/Solve.hs
all commits
52e43bbDisallow equivalent representations of the same typeEvan Czaplicki 60ca557Show better error messages on infinite comparable typesEvan Czaplicki 1408bc3The Error structure describes how it should be displayedEvan Czaplicki 368cdbcMove the occurs check into its own moduleEvan Czaplicki d5b0b43Name changes for simpler Type representationEvan Czaplicki 3399b4cUse AST.Module.Name.isKernel instead of string matchingEvan Czaplicki ae8d75cAdd SCC annotations throughout type inferenceEvan Czaplicki 7a8b568Build rankDict all in IOEvan Czaplicki b441190Redo Type.State.Solver to not use RWSEvan Czaplicki 5a33259cosmetic: clean up Type.State quite a bitEvan Czaplicki c4c5702Switch adjustRank to use IO directly, improving performanceEvan Czaplicki ae0c7e2Do a bit less work in adjustRankHelpEvan Czaplicki 3734effAllocate less in registerIfNotRedundant passEvan Czaplicki f3a7c77Allocate less in Type.Solve.adjustRankContentEvan Czaplicki 2f6c8fcStop building unneeded data structureEvan Czaplicki 46bc422Make changes to support Elm.Kernel.* code and symbol tablesEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki c77af53Resolve -Wall errors from Type.SolveEvan Czaplicki db0d6cdEnable -Wall on Type.SolveEvan Czaplicki 4bec0ecRemove Type.Solve.allDistinct for rigid var uniqueness checkEvan Czaplicki 942ee24Use user-defined type variables whenever possibleEvan Czaplicki 172844eResolve a bunch of warningsEvan Czaplicki 4c2e9adFix #832, compiler hangs on certain infinite typesEvan Czaplicki a28acb2Better model of types in Type.TypeEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 6fbbd1bAlways provide a specialized hint when unification failsEvan Czaplicki 4ffd70aUse backticks instead of single quotes when reporting code terms to end users.Richard Feldman c62bea9Show proper errors for infinite types againEvan Czaplicki 2dadd1fAllow hints on type constraints, leading to improved error messagesEvan Czaplicki 5dabd20Move closer to properly reporting infinite typesEvan Czaplicki f678e11Have a more straight-forward crash for certain type inference algorithm issuesEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 0d10d2fBail out of unification on first failureEvan Czaplicki 14c55e6minor rephraseEvan Czaplicki 564fd4dstyle: use modern indentation rulesEvan Czaplicki 914e047Rename compiler/ to src/Evan Czaplicki 9c61b17rename src/ to compiler/ because the runtime/ directory is going to be top-levelEvan Czaplicki bb5d079Remove redundant -W flags from source codeEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki