git.iko.soy/Idris-dev
on 3cb1f21 help sign in
history ofsrc/Idris/Parser.hs
all commits
961f9b4Merge pull request #797 from jfdm/documentationEdwin Brady fee6a00Merge pull request #806 from ziman/import-asEdwin Brady e914ae0Add check for module alias clashes.Matus Tejiscak 41a6c5eFix namespace ordering.Matus Tejiscak f24a675Add the possibility to "import Module as Alias".Matus Tejiscak c0cc1ddMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen fe3f03fAdded %error_reverse annotationEdwin Brady 878653bUpdated Haddock Documentation.Jan de Muijnck-Hughes 9aa723eImplicit "module Main" addedEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady a7859f6Resolve name hints before adding to .ibcEdwin Brady 770a3a7Display errors properly on IBC load failureEdwin Brady 8b7f8adPerformance improvement: name supplyEdwin Brady 8f95300Allow functions to be declared as error handlersDavid Christiansen 67da31aMerge branch 'master' into cabal-libraryBrian McKenna cbe9965on error, report the column, as well as the line number in the ideslave mode.Hannes Mehnert 99beed8Default superclass intancesBrian McKenna e803aeaDon't reset totality for non-total thingsEdwin Brady 4a0eba1Add %name directive for naming hints in editing.Edwin Brady 232a592Replace partial `showDeclImp` function with total `dumpDecl`Brian McKenna 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna ec3daa4Make sure deferred definitions get totality checkedEdwin Brady 6625b24Turn off optimisations when compiling parserJan Stolarek b1537b9Report errors directly, instead of parsing the string given to ihputStrLnHannes Mehnert 8e974c7Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependenciesAhmad Salim Al-Sibahi d1663ccMissing fixity declarations for infix operator functions is now a parser error.David Christiansen 3c32b65Whitespace cleanup.George Leontiev d20f35cAdd --client optionEdwin Brady 9e5c96fAdd error object for failure to load fileDavid Christiansen 57c8657Added column name to sourceAhmad Salim Al-Sibahi f185e63Merge branch 'master' of github.com:edwinb/Idris-dev into implicit-bindEdwin Brady b5eee09Convert IO errors into erros in the Idris monadDavid Christiansen 8c9ec38Added 'implicit bind' syntaxEdwin Brady 50c66f9Added "if_valid" syntax rule for possibly failing EffectsEdwin Brady ac33945Wrap Idris in an ErrorTDavid Christiansen 170da61Propagate '%assert_total' to with blocksEdwin Brady 631fc46Further splitting of ParserEdwin Brady 67fb9ccSplit Parser.hs into several filesEdwin Brady 4447a4dChanged structure of parser such that it correctly overloads TokenParsing using some newtype hackery.Ahmad Salim Al-Sibahi fa6f5faRefactored constraint syntax to use less lookaheadAhmad Salim Al-Sibahi d1b5cb9Refactored data declaration to use less lookahead for better errors and some performance improvementAhmad Salim Al-Sibahi 336f5daSome refactoring of bracketed expressions (centralizing most of the expressions). This provides some simplification for future optimization of grammar regrding issue idris-lang/Idris-dev#452.Ahmad Salim Al-Sibahi a88a918Allow eof instead of eol for comments, closes idris-lang/Idris-dev#503Ahmad Salim Al-Sibahi 45e0a55Merge pull request #504 from david-christiansen/with-parserEdwin Brady 4ed09e4Further improve error message on missing parens after withDavid Christiansen 50af5aaMake the parentheses around a with-rule scrutinee mandatoryDavid Christiansen 7ae55f9Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Christiansen 3a69398Add parser and tests for parser for error reflection extensionDavid Christiansen