git.iko.soy/Idris-dev
on ff7ea9d help sign in
history ofsrc/Idris/Parser.hs
all commits
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 4d0a065Change "class/instance" keywordsEdwin Brady 39a8c78Categorised the Logs.Jan de Muijnck-Hughes d901c69Initial commit for a category based logger for Idris.Jan de Muijnck-Hughes c6a8862Add %deprecate directiveEdwin Brady 8996abfParse to line now reads whole definitionEdwin Brady ffb50e2Insert namespace information to declaration-level %runElabDavid Raymond Christiansen 93761d5Fix source locations for decl syntaxDavid Raymond Christiansen 0655d3dAllow syntax rules at the declaration levelEdwin Brady ab63941Added top-level %runElab supportDavid Raymond Christiansen 13adf74Fix indentation handling for PCAF parserDavid Raymond Christiansen 4297500Highlight all keywords with the parserDavid Raymond Christiansen