git.iko.soy/Idris-dev
on master help sign in
history of4caab41..master
compare
c5eac97Added deleteAt, replaceAt and insertAt for ListsDaniel Waterworth b257e4bAnnotate the Prelude with %used for backendsSam Elliott b046ab1Ignore SIGPIPE on the unicies.Robert Clipsham 7b30b6dMerge pull request #2749 from david-christiansen/pruvilojDavid Christiansen f4bfe5cDefine void with an elab script, not elim_forShea Levy 467490bBetter case split when all patterns are impossibleEdwin Brady 429db44test/pkg003: Remove generated executableJeremy W. Sherman a636f96Update pkg004/expected for more specific error messageJeremy W. Sherman 28a2687Replace isNothing+fromJust with caseJeremy W. Sherman 6f58d99CHANGELOG: Note new iPKG executable = "filename" syntaxJeremy W. Sherman bd28c5fPParser.hs: filename: Report the specific failed check on errorJeremy W. Sherman f0f1d72Merge pull request #2761 from melted/fix_pkg_optsNiklas Larsson 31d6ed1Make the pkg tests take the same display options as the other tests.Niklas Larsson 5a8536aMerge pull request #2677 from zgrannan/repl-check-operatorNiklas Larsson 68c1747Merge pull request #2739 from shlevy/gmp-dependencyNiklas Larsson da672ecMerge pull request #2753 from mrmonday/set-optionsNiklas Larsson d7794a6Merge pull request #2755 from Legogris/patch-1Edwin Brady 559a903Merge pull request #2715 from cmcl/fix-effect-commentEdwin Brady 3d5ead3Merge pull request #2691 from mitchellwrosen/patch-1Edwin Brady f4ed74cUpdate Mystery Word example codeRobert Edström ce35f7aKeep :set options in sync.Robert Clipsham 58ddcd0Add derivation of DecEq to PruvilojDavid Raymond Christiansen a4dbf1fCode simplifications in eliminator derivationDavid Raymond Christiansen 06edf43Add implicit lambdas for top level implicitsEdwin Brady 5f9e595Make "getGuess" fail if there's no guess presentDavid Raymond Christiansen c7bed76Better disambiguation with type class methodsEdwin Brady c6a8862Add %deprecate directiveEdwin Brady 53f4651Tidy up name warnings in PreludeEdwin Brady 47b83b8Change type of HVect.put/get/update so auto worksEdwin Brady a35ccd6Update Eff constructors to remove warningsEdwin Brady da914afConsistency of implicit/pattern name binding rulesEdwin Brady a458e29Take care when calling allNamesInEdwin Brady 7e6ecf9Remove apparently unused iif directoryShea Levy 83f0af1Display expected type of RHS in error messagesEdwin Brady db07875Merge "add definition" and "add missing" commandsEdwin Brady 8996abfParse to line now reads whole definitionEdwin Brady c98e24fMerge pull request #2746 from david-christiansen/pruvilojDavid Christiansen f7e1990Add lookup of FunArgs for global names to ElabDavid Raymond Christiansen 6a208f7Fix docstrings for apply and matchApplyDavid Raymond Christiansen c5f5dabMerge pull request #2741 from david-christiansen/pruvilojDavid Christiansen 5323b12Remove obsolete Elab primitive from Term.hsDavid Raymond Christiansen 5330e8aSimplifications to ElabDavid Raymond Christiansen ab62c98Make cycle test work with Curses IdrisDavid Raymond Christiansen bf657b5Declare a dependency on gmp when the gmp flag is set.Shea Levy 1edba41Add environment argument to Elab.Tactics.checkDavid Raymond Christiansen 68c519eConvert comments in WHNF.hs to HaddockDavid Raymond Christiansen 96c9239Reference docs: correct sentence about type syntax.Echo Nolan d2f892bMerge pull request #2728 from jeremy-w/jeremy-w/ipkg-allow-arbitrary-executable-names-2721Niklas Larsson aabda6eMerge pull request #2735 from LeifW/bump_vector_constraintNiklas Larsson 304a7e7Bump vector constraint to allow 0.11.xLeif Warner