git.iko.soy/elk
on 727d708 help sign in
history ofcompiler/Type/Unify.hs
all commits
9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 609cc3dUnify any constrained variables with the same super-typeEvan Czaplicki b6144aeProperly unify constrained variables, serious changes here!!!Evan 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 4208b5cRemove some debugging stuff and generally clean up the code. There was one potential error in which a debug needed to be a liftIO, the computation it performed was not optional.Evan Czaplicki b5887f4Get type inference working in the basic case. Begin working on printing errors in a prettier way.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 ca62ee6Create type pools, have an organized model of state to flow through the State Transformer during constraint solving and variable unification.Evan Czaplicki 4c51159Create a Type.Pool module specifically for variable pools. Start using a state transformer to thread the pool and errors through.Evan Czaplicki ca8441fContinue getting the new type-checker in order.Evan Czaplicki