git.iko.soy/elk
on 00a3069 help sign in
history ofsrc/Type/Occurs.hs
all commits
d3fa290Update some uses of UF for the shorter namesEvan Czaplicki a8bfb99Implement occurs check with fewer operations and allocationsEvan Czaplicki cac7198Update Type.Occurs for new ASTEvan Czaplicki ed26ecaSwitch to Data.Map.Strict in type inferenceEvan Czaplicki fbff9ceImprove the error messages for bad rigid type variablesEvan Czaplicki b02b4aaDo not expose Description fields / optimize copy and flattenEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki 60ca557Show better error messages on infinite comparable typesEvan Czaplicki 1408bc3The Error structure describes how it should be displayedEvan Czaplicki 368cdbcMove the occurs check into its own moduleEvan Czaplicki