git.iko.soy/Idris-dev
on efde939 help sign in
history ofsrc/Idris/Parser.hs
all commits
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 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen e04ba85Highlight names in directivesDavid Raymond Christiansen 520f367Initial parser-driven highlightingDavid Raymond Christiansen ac68541Dump highlighting infoDavid Raymond Christiansen 823be86Highlight postulates and their definitionsDavid Raymond Christiansen 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes 54cd5a6An interactive Elab shellDavid Raymond Christiansen 4dabdbaPropagate errors originating from case treesDavid Raymond Christiansen df64dfcKludge for kludge for Trifecta errorsDavid Raymond Christiansen 2de8a47Send absolute file names in annotationsDavid Raymond Christiansen 64ab360Tracking and highlighting of metavariablesDavid Raymond Christiansen 8f9901dAnnotate module imports in source codeDavid Raymond Christiansen 45ca5b5Accurate highlighting of proof bindings on the with ruleDavid Raymond Christiansen 0419a12Highlight let bindingsDavid Raymond Christiansen 56b6850Precise highlighting of instancesDavid Raymond Christiansen 73b666bMerge remote-tracking branch 'refs/remotes/upstream/master' into name-highlightsDavid Raymond Christiansen 95d90f4Better highlighting for data declarationsDavid Raymond Christiansen 268296fHighlight the names in type declarationsDavid Raymond Christiansen 689e64bHighlight pi and lambda bindersDavid Raymond Christiansen 4ebafb4Highlight names of simple variable referencesDavid Raymond Christiansen da3a26cAccurate locations for constantsDavid Raymond Christiansen