git.iko.soy/elk
on 0bdfd73 help sign in
history ofsrc/Type/Instantiate.hs
all commits
b5df201Switch TRecord constructors to have (Maybe Name) extensionsEvan Czaplicki 6709d6fRevamp type constraint generationEvan Czaplicki 6e2f87eUpdate a couple Type/ modules for AST shuffleEvan Czaplicki 4a6c4a0Make Type.Instantiate and Type.Constrain.Pattern more self-containedEvan Czaplicki 9bdfe2bGenerate type constraints for patterns without any type lookups!Evan Czaplicki