git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/Parser.hs
all commits
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 fdfa04cStore file with constraints + exportEdwin Brady 4ed9c1bAdded %thaw directiveEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 2cfcbcfPositivity checking under parametersEdwin Brady 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes d2a8c3eFold portable into CodegenNiklas Larsson 5a937ccMore flexibility in constraint argumentsEdwin Brady 9297ae4Allow 'data' declarations in interfacesEdwin Brady a41ca33Merge branch 'master' of https://github.com/idris-lang/Idris-dev into colin-adams-coveringAhmad Salim Al-Sibahi