git.iko.soy/Idris-dev
on 2b0224a help sign in
history ofsrc/Idris/Parser.hs
all commits
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 13073a1Fixed interaction of expressions with operators and external syntaxAhmad Salim Al-Sibahi 40d094dExpose equality proofs in with ruleEdwin Brady b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen e4cf620Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d745c2eMerge pull request #1852 from 4e6/repl-module-reloadEdwin Brady 8096500Add %used pragmaEdwin Brady f6df58cMerge branch 'master' of github.com:idris-lang/Idris-dev into new_ffiEdwin Brady d5377beNew language-dependent FFIEdwin Brady 60e4921Relax lower bound on mtlEric Mertens 39c07a7Proper REPL module reloadingDmitry Bushev 21ccbe8Parse 'with' arguments in pattern modeEdwin Brady 6b803b7Allow documentation for modulesDavid Raymond Christiansen f936366Merge pull request #1817 from bmsherman/replEdwin Brady 99be9f0Various cleanup of the REPL, mainly with parsing and completionBen Sherman 7c34217Allow class constraints to be namedEdwin Brady e95c877Make pattern matching consistent in lambda/letEdwin Brady 684a578Completely replace ErrorT with ExceptTbmsherman