git.iko.soy/elk
on c19ccfe help sign in
history ofcompiler/Initialize.hs
all commits
016a199Start using Metadata.PreludeEvan Czaplicki 6c808aachange whitespaceEvan Czaplicki eb722a2Make a type less generalEvan Czaplicki c140d69First draft of cross-module type checkingEvan Czaplicki 1f8b7bbIntroduce TypeLibrary alias, a minor cosmetic changeEvan Czaplicki b1dd157Begin passing module interfaces when compiling dependenciesEvan Czaplicki fa11f8eget rid of unused importsEvan Czaplicki c9a1cc9Minor reformatting and removing unused dependenciesEvan Czaplicki 9592d28Start using Data.Graph to work out dependency problems and other minor tweaksEvan Czaplicki e852ae2Add field to MetadataModule for datatypesEvan Czaplicki 82983a6Update more modules to use the MetadataModule data structureEvan Czaplicki ce357b3Switch to reporting errors with [Doc] for prettier layout.Evan Czaplicki a5bc960Minor cosmetic changesEvan Czaplicki 93a948cAdd back in checks for duplicate and out-of-order definitions.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 35981ebFinish parameterizing the AST and properly check errors in let expressions.evancz 721ce4fContinue reorganizing the code-base.evancz f5bdb2cMinor code changes to help allow custom infix precedence and associativity.evancz 2d1e06bStart generating elmi and elmo files to permit sharing of types, values, and infix info between modules.evancz ce64672Clean up imports in many files.evancz 5d536d1Get prelude added in all cases.evancz 87fa86cGet type dealiasing working.evancz ab62612Ensure that --make skips trying to read libraries as files.evancz 7dbb052Load json representation of types with Template Haskell, so library files are the base truth of type information.evancz 1822ebcMove the compiler down a directory, mostly.evancz