git.iko.soy/elk
on 63243ca help sign in
history ofcompiler/Type/Solve.hs
all commits
a97b995Add checks for port types to ensure that only JS values go through ports and that type annotations are correct and consistentEvan Czaplicki c966776Add -W flag to many files, mostly getting rid of dead importsEvan Czaplicki 2874797Go to original error style. I think it's nicer.Evan Czaplicki f73a6ffAdd an occurs check to finally resolve #294Evan Czaplicki b5979b4Add occurs check and a test to make sure it worksEvan Czaplicki a3f62bdstyle tweaksEvan Czaplicki 3ef5284Stop using the MultiWayIf extensionEvan Czaplicki 8006d8eReport line numbers in type errorsEvan Czaplicki b1f53d0Pipe source locations through the type checkerEvan Czaplicki ebcaad0Fix possibility of calling `maximum` on empty listsEvan Czaplicki 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