on 89bbbb9 help sign in
all commits
14ef71aFilter exports only when we are trying to import from a moduleEvan Czaplicki 8a045c7Fix #766, properly trim explicit exports of ADTs and type aliasesEvan Czaplicki 6a7c0d6only expose exported values, add commentsEvan Czaplicki 115773fStrip out code made irrelevant by CanonicalizerEvan Czaplicki a88ed26Switch imports from SourceSyntax to ASTEvan Czaplicki e08d95bSourceSyntax/ => AST/ in more modulesEvan Czaplicki b2f3ff3Begin using the new boundVarList functionEvan Czaplicki b00a8cbAdd check that all ports appear in the "main" moduleEvan Czaplicki 6ba394cGet rid of experimental code for handling "deriving"Evan Czaplicki 96f55fcTake ports out of MetadataModule, where it is no longer neededEvan Czaplicki c966776Add -W flag to many files, mostly getting rid of dead importsEvan Czaplicki 9ff2622Handle --no-prelude flag in the Metadata.Prelude module rather than distributed across many modulesEvan Czaplicki ed4be06Update to match new port and decl formatEvan Czaplicki 740702cBegin switch from current FFI syntax to "port" syntaxEvan Czaplicki 83e8badAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment.Evan Czaplicki e119d8eGet rid of SourceSyntax.Everything moduleEvan Czaplicki dac51abFinish refactoring code into Build/ directory, make some names more consistent and remove unneeded dependenciesEvan Czaplicki