on cd4b4e2 help sign in
all commits
8fc72d2Remove instance of unsafePerformIOJustin Leitgeb c845e58Give more helpful error messages when deserializing elmi filesJustin Leitgeb 1974ad5Revert "Export types from ADTs in the default exports"Evan Czaplicki 4e82d19Export types from ADTs in the default exportsEvan Czaplicki de52cacAdd --src-dir flagEvan Czaplicki 11f5f52Actually use infixes in parserEvan Czaplicki 6ba2d70Revert 95ec3a8..1a093acEvan Czaplicki d7c89eesupport cross-module OpTablesEvan Czaplicki 4f69730Export record constructors by defaultEvan Czaplicki 7c58089Remove unused importEvan Czaplicki 96136beGet the correct exportsEvan Czaplicki dd8843fTake correct file path, even if module name is not givenEvan Czaplicki a98a7beExport ADT constructors tooEvan Czaplicki 2f6d322If no exports are listed, everything gets exportedEvan Czaplicki 2f5639cIntroduce Transform.CanonicalizeEvan Czaplicki 0a6bd8bGenerate and use interfaces.data so standard library types are availableEvan Czaplicki 39f2a87Rewrite `readDeps` so that modules are never read more than onceEvan Czaplicki 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