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