git.iko.soy/elk
on c19ccfe help sign in
history ofcompiler/Type/State.hs
all commits
0db809fSwitch formatting for language pragmasEvan Czaplicki 9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 856360bGet rid of unused part of the type error messageEvan Czaplicki 82ca695Add support for "number" type which can be either an Int or FloatEvan Czaplicki 4c0f716Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variableEvan 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 cb914d9Get all of the Haskell files compiling with the new type checker. Does not actually work, undefined is used in some places as a stopgap measure.Evan Czaplicki ca77056Improve quality of error messages.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