git.iko.soy/Idris-dev
on master help sign in
history ofc41b605..master
compare
bde101fBetter inference for case blocksEdwin Brady 1cc3acdIncrement patch version numberEdwin Brady 6011227Fix regression with making class bodiesEdwin Brady 70b6c86Tweak desugaring rules for 'case' in do blocksEdwin Brady c0063fftypo fixesBrent Yorgey dae335bclarify re: using block and indentationBrent Yorgey ed5ecbcMerge pull request #2815 from Heather/idris_stdfgnNiklas Larsson b8065d9idris_stdfgn.c: use conditional compilation since there is only one function which is different for windows realizationHeather f20bfe8Merge pull request #2814 from Heather/rts-win-fixNiklas Larsson 9da8762Implement missing idris_mkFileError for windows rts filesHeather a7754a0Add MkImpossibleClause constructor to FunClauseShea Levy 913cddbVersion incrementv0.9.20Edwin Brady eb99603Some renaming, for better display of docs/holesEdwin Brady 76b1675Merge pull request #2776 from LeifW/ioexcept_golfEdwin Brady 12f79aaMerge pull request #2686 from cmcl/fix-master-eff-tutorialEdwin Brady d832730"function", not "method"Brent Yorgey 9cab2e9updates to typesfuns.rstBrent Yorgey f9a905eFix assumption in test that sizeof(size_t) == 8Jacob Mitchell 7bcab73Remove discussion of deprecated FFIJacob Mitchell 731c6e4Update Type Provider docs to use current FFIJacob Mitchell b24a685Merge branch 'master' into fix/master/cleanup-deprecated-ffiJacob Mitchell 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 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 f59d80bUpdate Expected Quasiquote output to reflect changesSam Elliott 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 272efeaAdd *> as a shortcut for do a; b on EffectsLeif Warner 80d88b1Turn IOException into a record to avoid the let-binding patmatch.Leif Warner 076c2d6Simplify some expressions in IOExcept.Leif Warner 43f0e82Add quotes to "Hello world!"Daniël Heres 5ef4a6cExplain the separation between the declaration and definition of voidShea Levy 918440eFix issue #2666 ("with" patterns accepted outside of "with" block)Vitaly Bragilevsky ace1020Added docs for anyElimDaniel Waterworth 98f1becAdded quantifiers for Lists analogous to the ones for VectsDaniel Waterworth