git.iko.soy/Idris-dev
on d740cc5 help sign in
d740cc5Tell Cabal about new test filesJacob Mitchell ebbae35New test: Type Provider backed by new FFI_CJacob Mitchell e4a04b4Clarify behavior of type provider testJacob Mitchell ad9ef67Merge pull request #2775 from bravit/fix/master/withpatsNiklas Larsson a24ad83Merge pull request #2780 from idris-lang/revert-2772-list_functionsNiklas Larsson 9963bbeMerge pull request #2759 from jeremy-w/jeremy-w/improve-filename-error-messagesNiklas Larsson a51be5dRevert "Added deleteAt, replaceAt and insertAt for Lists"David Christiansen 10e0a06Merge pull request #2748 from shlevy/remove-iifNiklas Larsson 2dd884aMerge pull request #2772 from DanielWaterworth/list_functionsNiklas Larsson 8a0464bMerge pull request #2777 from Dandandan/patch-1Niklas Larsson 1b1705aMerge pull request #2767 from mrmonday/no-sigpipeNiklas Larsson 43f0e82Add quotes to "Hello world!"Daniël Heres 918440eFix issue #2666 ("with" patterns accepted outside of "with" block)Vitaly Bragilevsky c5eac97Added deleteAt, replaceAt and insertAt for ListsDaniel Waterworth b046ab1Ignore SIGPIPE on the unicies.Robert Clipsham 7b30b6dMerge pull request #2749 from david-christiansen/pruvilojDavid Christiansen 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