git.iko.soy/Idris-dev
on 8a3d348 help sign in
history ofsrc/Idris/Parser.hs
all commits
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 7b5f4aaFix visibility of imported thingsEdwin Brady 9d804b5Optimize custom syntax rulesAlexander Shabalin e90316aSupport type errors in docstringsDavid Raymond Christiansen 6e74e33Fix for pattern vars in transformsEdwin Brady 37eae55Factor `addSyntax` out of `syntaxDecl` parserAlyssa Carter 5dcb90eAdded parser FIXMEs to the issue tracker.Jan de Muijnck-Hughes 37292e1Save terms in docstringsDavid Raymond Christiansen 93f407dUse strings for code generatorsEdwin Brady 788f800Record import paths in ibcEdwin Brady 480024cRemove all the handle argumentsDavid Raymond Christiansen 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert 382542aAdd %no_implicit directiveEdwin Brady 72cddc6Generate legal names for infix op lemmasDavid Raymond Christiansen c201192Bring erasure info to the case tree builder.Matus Tejiscak e5bc47eDistinguish postulate providers and type providers at use siteDavid Raymond Christiansen 21124c3Merge remote-tracking branch 'upstream/master' into cantResolveAltsbmsherman 9907240Add new Err constructor to disambiguate the CantResolveAlts constructor.bmsherman 5c4ee75Make load to line work with mutual blocksEdwin Brady 94fc13cIDESlave support for :loadtoDavid Raymond Christiansen