git.iko.soy/elk
on 577fc17 help sign in
history ofcompiler/Type/State.hs
all commits
e541928cosmetic: make names more consistentEvan Czaplicki 53565e2Carry aliases entirely through type inferenceEvan Czaplicki b16e876Add "alias" as a field in tvars and TermN'sEvan Czaplicki 07907a0Remove the Type.Alias moduleEvan Czaplicki d41a656remove reprime, many minor cosmetic changesEvan Czaplicki a88ed26Switch imports from SourceSyntax to ASTEvan Czaplicki 9dd5dffMake AST more general and try to give its phases better namesEvan 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 4d25352Show realiased types when printing errors and when printing module typesEvan Czaplicki 5251be3Reformat `addError` codeEvan Czaplicki a7b0d3fMake nested record types prettier.Evan Czaplicki 4da7588Add the ExtraChecks module to do occurs check and check the type of mainEvan Czaplicki e4fc35cMake impossible error more specificEvan Czaplicki a043b95Remove extra "is" from defaultMessage.Alexander f7db7a3Add a default error message for beginnersEvan Czaplicki 3c05f53Make error messages prettierEvan Czaplicki cb1a7a2Make formatting nicer for type errorsEvan Czaplicki 20047ecShow source strings in error messages when possibleEvan Czaplicki 3ef5284Stop using the MultiWayIf extensionEvan Czaplicki 8006d8eReport line numbers in type errorsEvan Czaplicki fa44854Make error messages nicerEvan Czaplicki c1d5f86Simplify type error messagesEvan Czaplicki 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