git.iko.soy/elk
on c19ccfe help sign in
history ofcompiler/Type/Solve.hs
all commits
0db809fSwitch formatting for language pragmasEvan Czaplicki 9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki 666d9f8Assume all variables with the "Native." prefix exist and have type "a"Evan Czaplicki ca4502bSave the current environment on CSaveEnvEvan Czaplicki 2673890Make error message in solver slightly more specificEvan Czaplicki 901179cMarginally better errors when a variable is undefined.Evan Czaplicki 67ef1ecCreate the Type.Inference module which handles type inference from start to finish. Give it a Module and it returns a dictionary mapping top-level values to types.Evan Czaplicki b038782Fix error in generalization in which some variables would escape their rank. Problem was that young variables were not all being marked as young.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 b87b845Move the Environment.hs and Fragment.hs files down a directory.Evan Czaplicki ca8441fContinue getting the new type-checker in order.Evan Czaplicki