git.iko.soy/Idris-dev
on d832730 help sign in
d832730"function", not "method"Brent Yorgey 9cab2e9updates to typesfuns.rstBrent Yorgey b49893eRename isLengthEdwin Brady 5e94bc9Remove %error_reverse from IO'Edwin Brady eb041bcMake some IO types more specificEdwin Brady 1a46d58Merge pull request #2784 from LeifW/eff_tut_syntaxJan de Muijnck-Hughes 74068ecRemove "notation" - syntax rule isn't used anymore.Leif Warner 4a5e169Remove leftover old dependent effect syntax.Leif Warner 5a3e5dbMerge pull request #2736 from enolan/improve-syntax-guideEdwin Brady 92bdae5Added Prelude.File.writeFileEdwin Brady b1872fbFile IO type indicates possibility of failureEdwin Brady 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