git.iko.soy/elk
on 90e4d45 help sign in
history ofsrc/Type/Inference.hs
all commits
ed26ecaSwitch to Data.Map.Strict in type inferenceEvan Czaplicki c1e2729Small improvement on constraint generation optimizationEvan Czaplicki 267d388Trim available variable names in type inferenceEvan Czaplicki fbff9ceImprove the error messages for bad rigid type variablesEvan Czaplicki 0765fdeAdd some SCC annotations for generating type constraintsEvan Czaplicki 428b0a1Keep a pool stack, not just old and youngEvan Czaplicki 3e23ef2Use NOINLINE values to reduce allocation of Descriptors in constraint generationEvan Czaplicki dbe6c75Move constraint primitives into Type.ConstraintEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki d5b0b43Name changes for simpler Type representationEvan Czaplicki 357b7e4Stop holding FilePath in AST.ModuleEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki 8506ed8Assume arguments match the type annotationsEvan Czaplicki 3b23d86Rename Environment to Env in type inferencerEvan Czaplicki d163289Parse more liberally, give errors in validation phase for better messagesEvan Czaplicki 3e8eb7bJust focus on effect modules, ignore foreign effects for nowEvan Czaplicki 0137452Rename ADT to unionEvan Czaplicki a28acb2Better model of types in Type.TypeEvan Czaplicki 31545d1canonicalize module names, generate unambiguous names in JSEvan Czaplicki 0d89d62Introduce Canonical module nms with pkg infoJoeyEremondi cb6a361Add support for generating documentationEvan Czaplicki c62bea9Show proper errors for infinite types againEvan Czaplicki 276ad25Add warnings for top-level values without type annotationsEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki d40188dReorder imports in Type.InferenceEvan Czaplicki a096742Check type of 'perform' declarationsEvan Czaplicki 8036fcaAdd support for running promises with loopback declarationsEvan Czaplicki 57005c9Refactor ExtraChecks to be clearerEvan Czaplicki 0d10d2fBail out of unification on first failureEvan 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 b5fde06style: whitespace as in new style guideEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki