git.iko.soy/elk
on 727d708 help sign in
history ofcompiler/Type/Constrain/Pattern.hs
all commits
9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki d456cecOverload literal numbers without a decimal point to be either Ints or FloatsEvan Czaplicki 802be96Fix issue in which patterns could become too generalEvan Czaplicki f37e05aFix type constraints for PDataEvan Czaplicki d15d84dGet patterns to type-check with the value in the case expressionEvan Czaplicki a3a7b3eRefactor type environmentEvan Czaplicki b87b845Move the Environment.hs and Fragment.hs files down a directory.Evan Czaplicki cdb63bdStart writing a new type checker based on the ATAPL chapter on efficient type-inference.Evan Czaplicki