git.iko.soy/elk
on 727d708 help sign in
history ofcompiler/Type/Type.hs
all commits
9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 4e7ef5fAdd definitions for functions that act on numbers and comparablesEvan Czaplicki 82ca695Add support for "number" type which can be either an Int or FloatEvan Czaplicki 22f7f8aCreate a serializable interface for a module's type informationEvan Czaplicki 2375829Improve pretty printing for typesEvan Czaplicki 807076aAdd CSaveEnv, optimize CAnd, make it prettierEvan Czaplicki 45b43e8When creating a named var, allow it to be flexible.Evan Czaplicki 90c5c7dAdd terse way to do type applicationEvan Czaplicki dabada1Make constraint pretty printing prettier.Evan Czaplicki ca77056Improve quality of error messages.Evan Czaplicki f87e316Make pretty printing properly parenthesize higher order functions. Not the best implementation, but it is simple and works well.Evan Czaplicki 497d478Get the solver working on basic programs. It outputs pretty types for the variables in the program. Need to test further and start doing some benchmarking.Evan Czaplicki 0ed7205Add pretty printing for type constraints.Evan Czaplicki ca8441fContinue getting the new type-checker in order.Evan Czaplicki 351c33cStart generating constraints for let-expressions. Account for mutual recursion, but will throw a runtime error if a user has given type annotations.Evan Czaplicki cdb63bdStart writing a new type checker based on the ATAPL chapter on efficient type-inference.Evan Czaplicki