on 5fcbf86 help sign in
all commits
9d6d260Update parser for AST shuffleEvan Czaplicki 24caf2aVerify that init/onEffects/onSelfMsg exist in canonicalizationEvan Czaplicki 38bfa1bGet Parse.Kernel compiling againEvan Czaplicki 087045fUpdate the parser code for AST changesEvan Czaplicki da9e6b7Update parser, remove (,,) syntax, and disallow top-level destructuresEvan Czaplicki 6397e12Make it cheaper to parse symbolsEvan Czaplicki 61e7508Add a hint for canonicalization errorsEvan Czaplicki f5bf4adAdd Parse.Kernel that sets things up for code genEvan Czaplicki 5a9bb97Restrict exports of Parse.ModuleEvan Czaplicki fe1d53aRefactor representation of "exposing" and documentationEvan Czaplicki 7bb1738Have header parser return Maybe, not default valueEvan Czaplicki 294ee07Got rid of NextDecl concept, subsumed by BadSpace theoriesEvan Czaplicki 7dd0bbdAdd locations to context stack, allowing nicer error messagesEvan Czaplicki 7139c03Improve error messages based on testingEvan Czaplicki c5da7c0Get parse error messages working againEvan Czaplicki f284fabGet docComment parsing working againEvan Czaplicki 5670bd6Whitespace upgrade: simple changesEvan Czaplicki ff0b05bConvert module parser to new parsing systemEvan Czaplicki b97576dAttempt to speed up the parsing phaseEvan Czaplicki bb54ad6Move operator parser infixOp into Parser.BinopEvan Czaplicki 7a2e15fRemove backtick-infix syntaxEvan Czaplicki 11b0cc0Only commit to `port module` if the whole token is thereEvan Czaplicki 72da9daRename `Foreign` to `Port` across the codebaseEvan Czaplicki 116f789Start calling things ports againEvan Czaplicki a9bf350Give better parse errors for 0.16 to 0.17 transitionEvan Czaplicki 47f1657Switch to `module X exposing (..)` style for module declarationsEvan Czaplicki fa09513Type check effect manager functionsEvan Czaplicki d163289Parse more liberally, give errors in validation phase for better messagesEvan Czaplicki 3e8eb7bJust focus on effect modules, ignore foreign effects for nowEvan Czaplicki 4da491bProperly parse and validate define constructEvan Czaplicki 455dcb2Begin supporting "define" in Parse and Validate phasesEvan Czaplicki 50a14caParse "effect module" and "foreign effect module" headersEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 31545d1canonicalize module names, generate unambiguous names in JSEvan Czaplicki cb6a361Add support for generating documentationEvan Czaplicki 4ffd70aUse backticks instead of single quotes when reporting code terms to end users.Richard Feldman 8dd6098don't refer to imported stuff as "values" onlyjvoigtlaender 3d63f82Get parse error messages looking goodEvan Czaplicki e0e0b2eProperly report region on bad exportsEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 2234b88New syntax and semantics for importsEvan Czaplicki bf46a33Be more aggressive with parsing reserved wordsEvan Czaplicki 1461bf7style: modern indentationEvan Czaplicki 393337fRename Var.ADT to Var.UnionEvan Czaplicki 914e047Rename compiler/ to src/Evan Czaplicki 9c61b17rename src/ to compiler/ because the runtime/ directory is going to be top-levelEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki