git.iko.soy/Idris-dev
on d3badf2 help sign in
history ofsrc/Idris/Parser.hs
all commits
c80f9fa[ fix ] handle empty NS + test caseGuillaume Allais fdbcc73[ fix #4304 ] Make the Module Name parser explicitGuillaume Allais beb8e9cInsert mutual in "using implementation" blocksEdwin Brady 86e5546Process !-notation in function declarationsEdwin Brady 37b4861Rename to emitWarningJason Felice 117a8ecMerge remote-tracking branch 'upstream/master' into pretty-warningsJason Felice 12594b3Better warnings for `class` and `instance`Jason Felice 1d3bef9Adjust warnings re: class and instanceJason Felice 7a2acb1Use formatMessage instead of parseErrorDocJason Felice 74ddf72Rename to MessageJason Felice 11b0ffaIntroduce "emit"Jason Felice 0a7fe41Use iWarn some moreJason Felice fb4c5e4Use iWarn for parse errorsJason Felice f743272Don't include '=' for RHS spanJason Felice 4c40a72Remove deprecated %assert_totalJason Felice 5e69cecSuper minor simplificationJason Felice 0296c12Extract lhsPrefixApp, lhsInfixAppJason Felice 2634848Extract lhsJason Felice 1b110b9Refactor clause parserJason Felice 8e1a52cFix error location for lhs for prefix app clausesJason Felice b1a4264Improve error message locations (#4210)Jason Felice 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes b6f8bdfGet error location & message direct from parserJason Felice 64ee143Use NonEmpty.fromList instead of :|Jason Felice 9544b6fRun stylishJason Felice e148a68WIPJason Felice 3bdb58eUse runparser in Idris.ParserJason Felice 8d460e9Don't need a newtype for inner parserJason Felice f590608Reexport parseErrorDoc from Idris.ParserJason Felice 22587b2Make ParseError a newtypeJason Felice 5048ad4Introduce ParseError type aliasJason Felice e680962Return parse results using EitherJason Felice 1f8db23Import Trifecta qualified as PJason Felice 13308b1Allow declaring fixity of ticked operators (#4140)Jason Felice 4a3fe0cLinearTypes extension improvementsEdwin Brady c660584Add export list to Idris.ParserNiklas Larsson 83bb62fUnused binds (#4067)Jason Felice 5950e1ePrevent private functions showing up in autocomplete and :t.Steven Shaw e88ad28Fail parsing imports in the standard mannerNiklas Larsson 3ad2672Prefer to load imports from the current packageNiklas Larsson 5d7388bMove extensions into source filesEdwin Brady fbc01c4Implement shebang handlingNiklas Larsson 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 0ceaa30Deal with interfaces in totality differentlyEdwin Brady bc553c7%error_reduce for more control over errorsEdwin Brady 491633bSyntax for linear argumentsEdwin Brady 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes cf61801Reverted changes to verbosity reporting.Jan de Muijnck-Hughes 15b0829Improve progress reporting.Jan de Muijnck-Hughes 58c3bb7Hide more features behind %language pragmasEdwin Brady