git.iko.soy/Idris-dev
on ff01a4c help sign in
history ofsrc/Idris/Parser.hs
all commits
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 8a9ca44Added %auto_implicits directiveEdwin Brady c2d79d7Merge pull request #2930 from david-christiansen/syntax-quote-refNiklas Larsson eba5123Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e3e35a5New rules for name visibilityEdwin Brady a14e4edSimplify export rules.Edwin Brady 9633fd7Syntax hygiene for resolved quoted namesDavid Raymond Christiansen 060caf4Readded [static] but with a deprecation warning. Also refactored the way parser warnings are added to make it easier to call.Ahmad Salim Al-Sibahi be33df4Force sharing of TT sub terms when loading ibcEdwin Brady 6d9ef7bCHANGELOG version editv0.10Edwin Brady e81d6acMake "implementation" keyword optionalEdwin Brady