git.iko.soy/Idris-dev
on master help sign in
history ofdae335b..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 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 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 d740cc5Tell Cabal about new test filesJacob Mitchell ebbae35New test: Type Provider backed by new FFI_CJacob Mitchell e4a04b4Clarify behavior of type provider testJacob Mitchell f59d80bUpdate Expected Quasiquote output to reflect changesSam Elliott 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 5ef4a6cExplain the separation between the declaration and definition of voidShea Levy ace1020Added docs for anyElimDaniel Waterworth 98f1becAdded quantifiers for Lists analogous to the ones for VectsDaniel Waterworth b257e4bAnnotate the Prelude with %used for backendsSam Elliott f4bfe5cDefine void with an elab script, not elim_forShea Levy 62e662bRestructed vector add example and fixed error in code snippet.Craig McLaughlin dcacfeaMerge branch 'feature/deppairparsing' of github.com:ahmadsalim/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi bf0fe16Merge pull request #1 from david-christiansen/ahmadsalim-feature/deppairparsingAhmad Salim Al-Sibahi 39ecf99Fixed parsing of dependent pair expressions when Type appears as a typeAhmad Salim Al-Sibahi 7bf0ea3Pretty-printer for new nested dependent pair syntaxDavid Raymond Christiansen f3ce68eMerge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingDavid Raymond Christiansen 894f664Allowed multiple bindings in dependent pairsAhmad Salim Al-Sibahi