git.iko.soy/elk
on fcbda99 help sign in
history ofsrc/Type/Environment.hs
all commits
ed26ecaSwitch to Data.Map.Strict in type inferenceEvan Czaplicki fbff9ceImprove the error messages for bad rigid type variablesEvan Czaplicki 3e23ef2Use NOINLINE values to reduce allocation of Descriptors in constraint generationEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki 7729527Start using strict State and WriterEvan Czaplicki d5b0b43Name changes for simpler Type representationEvan Czaplicki befb3dfMove all tuple name generation to AST.HelpersEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki 8506ed8Assume arguments match the type annotationsEvan Czaplicki 3b23d86Rename Environment to Env in type inferencerEvan Czaplicki 3d94566Remove effect typesEvan Czaplicki ba5bfd2Add support for "effect types" that track which effects are neededEvan Czaplicki 0137452Rename ADT to unionEvan Czaplicki a28acb2Better model of types in Type.TypeEvan Czaplicki 73d2c2cRemove another Control.Applicative importEvan Czaplicki 4ffd70aUse backticks instead of single quotes when reporting code terms to end users.Richard Feldman ee3b209Error reporting overhaul (BIG)Evan Czaplicki 55420d4Track dealiasing more preciselyEvan Czaplicki 5f057deMark variables as unused in Type.EnvironmentEvan Czaplicki 501c607Fix aliasing bug revealed by tests!Evan Czaplicki 5e43eb1Properly preserve type aliases after canonicalization and through type inferenceEvan Czaplicki d608aa6Improve indentation in Type.EnvironmentEvan Czaplicki ee72256Remove special syntax for lists in typesEvan 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