git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/Parser.hs
all commits
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 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady 7f8a4cbFixed addition of partiality by default in order to avoid not interfering with --warn-partialAhmad Salim Al-Sibahi c5f2052Fixed the way default totality modifiers are added, and checked for conflicting totality modifiers.Ahmad Salim Al-Sibahi 2b25114Merge branch 'covering' of https://github.com/colin-adams/Idris-dev into colin-adams-coveringAhmad Salim Al-Sibahi 57136ccChange elaboration of interfacesEdwin Brady 41e3c52Added covering as a possible value for %defaultColin Adams 9540f1aRTS tweaksEdwin Brady c56d5cfAddition of a Fragile directive.Jan de Muijnck-Hughes c9d2027Use exact name lookup for hidingEdwin Brady 9bebebcMerge pull request #2941 from david-christiansen/syntax-quote-refDavid Christiansen 5f7fb9aDoc comments go before options!Edwin Brady a009be6Allow setting function flags on instancesEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes 1909c32Moved Quasiquote under Elab namespace.Jan de Muijnck-Hughes 01dd9a8Don't rewrite binders in quoted terms under syntaxDavid Raymond Christiansen