git.iko.soy/Idris-dev
on 7186ade help sign in
7186adesince BitsN is unsigned through the definition, unsigned operations like prim__udivB8 and prim__uremB8 should be used rather than the signed oneszjhmale 652b0feMerge pull request #3303 from zjhmale/let-reverse-ranges-work-againJan de Muijnck-Hughes 7ccb0f9Merge pull request #3311 from BartAdv/pkg-optional-mainJan de Muijnck-Hughes 0d2f11flet Reverse Ranges work againzjhmale 9c32ab6Merge pull request #3282 from steshaw/bug/master/729-layout-ruleJan de Muijnck-Hughes 483fd4fBetter handling of optional main in package filesBartosz Przygoda 7bedd1cDon't use color in Appveyor's console. (#3312)Niklas Larsson c1810b8Pass on the output on stderr from tests. (#3310)Niklas Larsson 2e70b6cAdded test case for System.system (#3281)Steven Shaw 46c1cd5Merge pull request #3302 from zjhmale/replace-count-with-enumfrom-in-docsJan de Muijnck-Hughes b3afac0Merge pull request #3308 from steshaw/tasty-test-listingJan de Muijnck-Hughes e739a25Merge pull request #3279 from steshaw/lines-unlinesJan de Muijnck-Hughes 97752caRenamed test file to make globbing order portable.Steven Shaw cfab5ecAdd layout001 to tasty test suite.Steven Shaw 563cae4Add EvanB's NonLayout test case.Steven Shaw f73cb16Add test sources to `idris.cabal` extra-source-files.Steven Shaw a936a59Check the indent rule on the rhs of functions.Steven Shaw 8b64f7fAdd more test cases for #729.Steven Shaw 368ed1dAdd test case from bug #729 (layout rule).Steven Shaw 5cd964dEnable tasty test listing.Steven Shaw ca0758eMerge pull request #3307 from melted/tweak_badgeNiklas Larsson c0adf0fSpecify branch in appveyor badgeNiklas Larsson f7612b8Merge pull request #3306 from idris-lang/appveyor-badgeNiklas Larsson ea85f32Rearrange badgesNiklas Larsson 15fa6a8Add Appveyor badgeNiklas Larsson 588e347Merge pull request #3305 from jfdm/pkg-namespaceJan de Muijnck-Hughes cc1d697Improvements to iPKG code.Jan de Muijnck-Hughes 3f39e81Rebase to master and add prelude001 to tasty test suite.Steven Shaw 4a21c1dMerge pull request #3304 from steshaw/spelling-tweak-in-test-dataNiklas Larsson df40a0aAdd test files to `idris.cabal` extra-source-files.Steven Shaw 1479cb6A test for lines/unlines.Steven Shaw 0a11829Spelling only - instanciate => instantiateSteven Shaw 2d99594Merge pull request #3301 from jfdm/update-macosx-stack-install-suggestionsNiklas Larsson 41c19e9since count function deprecated in Prelude, update doc use enumFromTo and enumFromThenTo function in Prelude for claifyingzjhmale 645da8aMerge pull request #3300 from melted/travis_osxNiklas Larsson e40466dUpdate INSTALL with better path for libFFIJan de Muijnck-Hughes baf54acMerge pull request #3299 from jfdm/pkgdesc-improvementsJan de Muijnck-Hughes 284b2caRemove some superfluous semicolonsNiklas Larsson c1be722Enable travis on osxNiklas Larsson 7af834eNote external iPKG dependencies in package description.Jan de Muijnck-Hughes 034169bMerge pull request #3298 from melted/mac_testsNiklas Larsson 9e4ad67Fix test fail on macNiklas Larsson 3417405Merge pull request #3296 from melted/appveyorNiklas Larsson 91109aaAdd appveyor.ymlNiklas Larsson e5a56a1Merge pull request #3288 from zjhmale/fix-typesfuns-docJan de Muijnck-Hughes 0e5a476use `Double` instead of `Float` in docszjhmale aa2d977Merge pull request #3293 from melted/fix_testingNiklas Larsson c2c4165Fix testsuite regression on Windows.Niklas Larsson 6dffa49Merge pull request #3289 from jfdm/lts-haskell-6.9Jan de Muijnck-Hughes 9dcbdc9Merge pull request #3231 from gpyh/tastyJan de Muijnck-Hughes