git.iko.soy/Idris-dev
on a87f69e help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
a87f69eMerge pull request #1885 from david-christiansen/issue/1860David Christiansen 914d992Bound the depth of hole searchingDavid Raymond Christiansen b8abab8Always show holes when pretty-printing delaborationsDavid Raymond Christiansen 4d8ab37Allow identifiers to start with underscore (_). Fixes idris-lang/Idris-dev#1868Ahmad Salim Al-Sibahi 8096500Add %used pragmaEdwin Brady 3c187ceBetter tracking of FC in implicit coercions / DSLDavid Raymond Christiansen 60e4921Relax lower bound on mtlEric Mertens 02d26ecMerge pull request #1841 from david-christiansen/issue/1806David Christiansen c729d2fSupport scoped type class constraintsEdwin Brady e0cab49Allow implicits to appear anywhereEdwin Brady 0b23ef2Replace _ patterns with fresh variables under @-patternsDavid Raymond Christiansen 17fe233Add scoped implicit argument to PiEdwin Brady 0a1b72cMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady cad3b02Eat less memory by sharing namesEdwin Brady 6b803b7Allow documentation for modulesDavid Raymond Christiansen c1cf03fMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 2ec25c2Do more forcing in IBCEdwin Brady ec2b304Extended OptNorbert Melzer 7c34217Allow class constraints to be namedEdwin Brady ee32989Search in current elaboration stack for instancesEdwin Brady ab32c46Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 02a36adAllow :search and :apropos to search packagesEdwin Brady 26da5c7Save index file when installing a packageEdwin Brady 96d370eFlip operator precedence rules for pretty-printingBen Sherman e95c877Make pattern matching consistent in lambda/letEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady 00f1cd5Use ExceptT instead of ErrorTbmsherman 941ba6eImplemented @-patternsEdwin Brady 7b5f4aaFix visibility of imported thingsEdwin Brady 58dd2b5Move Pair/Sigma into Builtins namespaceEdwin Brady 75c7597Improve delaboration and pretty-printing for caseDavid Raymond Christiansen f1e161dA new primitive tactic for getting source locationsDavid Raymond Christiansen 1437f86Fix typo in commentDavid Raymond Christiansen b2017d2Pattern variables should be lifted to top levelEdwin Brady 4130476Just store sorted list of syntax rulesAlexander Shabalin 9d804b5Optimize custom syntax rulesAlexander Shabalin ab2a29fMerge pull request #1658 from david-christiansen/todo-removalEdwin Brady cdff1dbMerge pull request #1659 from edwinb/partial-evalEdwin Brady 8e6b636Optimisation optionsEdwin Brady 30580dbRemoval of minor TODOsDavid Raymond Christiansen 03f6913Partially evaluate type class dictionariesEdwin Brady e90316aSupport type errors in docstringsDavid Raymond Christiansen e890280Merge pull request #1619 from ahmadsalim/feature/renamevoidEdwin Brady 37eae55Factor `addSyntax` out of `syntaxDecl` parserAlyssa Carter d6981dcRenamed VoidElim to void in order to ensure further consistencyAhmad Salim Al-Sibahi edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi 869e6caMerge branch 'master' of git://github.com/idris-lang/Idris-dev into partial-evalEdwin Brady 37748ceAdd transformation rules for partial evaluationEdwin Brady 7383b1cSupport nested quasiquotationDavid Raymond Christiansen a57302cMerge pull request #1563 from david-christiansen/comments-on-ptermDavid Christiansen