git.iko.soy/elk
on 684504e help sign in
history ofsrc/Type/Environment.hs
all commits
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