git.iko.soy/Idris-dev
on d773edd help sign in
history ofsrc/Idris/Parser.hs
all commits
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 b8f0ef6Separate modules for termination/coverageEdwin Brady 8c2a516Overidable overlapping implementation checkEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ) 53fae80use interface in error message when check instancezjhmale 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) 160eb14Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7c1a2c6Add %static annotation on functionsEdwin Brady c3f0755replace code level class symbol with inferfacezjhmale 635fb40Unify almost identical checkFixity' functions.Björn Aili a6f56ceFix #3275Björn Aili a936a59Check the indent rule on the rhs of functions.Steven Shaw a09a1bfBuild with GHC8 and trifecta-1.6David Kraeutmann 4c83174Totality checker mutual fixEdwin Brady 8442cefDeprecate '%assert_total'Edwin Brady