git.iko.soy/elk
on 577fc17 help sign in
history ofcompiler/Type/Constrain/Pattern.hs
all commits
a12554fcosmetic: try to make -Wall happierEvan Czaplicki b16e876Add "alias" as a field in tvars and TermN'sEvan Czaplicki d99e412Update to use canonical variablesEvan Czaplicki a88ed26Switch imports from SourceSyntax to ASTEvan Czaplicki 9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki 6a8db4cGet rid of dead dependencies and add -Wall for some filesEvan Czaplicki 95ec3a8Stop using `error` when constraining patterns and when instantiating source typesEvan Czaplicki 2e38f7bGive line numbers when there is a kind error in a patternEvan Czaplicki 51bc878Use new Located datastructure, add source strings where appropriateEvan Czaplicki 4f595c2Eliminate dead code and reduce dependenciesEvan Czaplicki b1f53d0Pipe source locations through the type checkerEvan Czaplicki 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