git.iko.soy/elk
on 63243ca help sign in
history ofcompiler/Type/Type.hs
all commits
2a0a0e6Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnewEvan Czaplicki eed8fa1Add type annotations and make some -W recommendationsEvan Czaplicki fdea147Also catch Just [] as an errorMichael Sondergaard 95ec3a8Stop using `error` when constraining patterns and when instantiating source typesEvan Czaplicki 7c19935reprime when printing typesEvan Czaplicki 9bba47ccompute a flexibility mark, just so it's easier to turn on and off laterEvan Czaplicki 51bc878Use new Located datastructure, add source strings where appropriateEvan Czaplicki b1f53d0Pipe source locations through the type checkerEvan Czaplicki c6868f1cosmetic changeEvan Czaplicki 3da8a71Add ability to collect App1's into a Type constructorEvan Czaplicki f8fe8e4Properly convert Type.Type to SourceSyntax.TypeEvan Czaplicki 576e979Simplify code to generate record constraintsEvan Czaplicki 2a51470Implement unification for recordsEvan Czaplicki 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