git.iko.soy/elk
on c19392f help sign in
history ofsrc/Type/Constrain/Effects.hs
all commits
ed26ecaSwitch to Data.Map.Strict in type inferenceEvan 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 f232da4Do DCE while generating JS.Evan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki 3b23d86Rename Environment to Env in type inferencerEvan Czaplicki 72da9daRename `Foreign` to `Port` across the codebaseEvan Czaplicki f24673bAdd "pkg" field to effect managersEvan Czaplicki 66c833dGet foreign effects workingEvan Czaplicki 59f162bCreate error messages for bad effect manager functionsEvan Czaplicki fa09513Type check effect manager functionsEvan Czaplicki