git.iko.soy/Idris-dev
on da672ec help sign in
history ofsrc/Idris/Parser.hs
all commits
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 c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 12bcfe4Allow type classes to have explicitly-named instance constructorsDavid Raymond Christiansen 445f6a5Make PDirective IO monad freeNiklas Larsson c56dee3Wrap data declarations in mutual blocksDavid Raymond Christiansen c380421Move ElabTerm into Elab.TermEdwin Brady 0603732Change the hard coding of the path separatorNiklas Larsson 4dd164cSet encoding for read files.Niklas Larsson a13b22cMerge branch 'lambda-impossible' of https://github.com/Melvar/Idris-dev into Melvar-lambda-impossibleDavid Raymond Christiansen 13a36a3Annotate functions as %hint for auto searchEdwin Brady fc02362Support externally defined primitivesEdwin Brady 9560761Refactor and adjust doc commentsMelvar Chen f92d573Don't rewrite name variables when avoiding capture in syntaxDavid Raymond Christiansen 50d7dcePrevent variable capture when desugaring custom syntaxDavid Raymond Christiansen 147149bAdd 'determining parameters' for classesEdwin Brady 6fe15eaAllow type providers to have docstringsAdam Sandberg Eriksson 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 7733fbaInstance docs: hide conflicting Err importAdam Sandberg Eriksson df1a933Instance docs: factor away unnecessary try:sAdam Sandberg Eriksson 2d205a6Instance docs: basic plumbing of types and parsingAdam Sandberg Eriksson 769bae3Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/betteroperatormessageAhmad Salim Al-Sibahi 15a76ffTrace loaded file spans for empty modulesDavid Raymond Christiansen