summaryrefslogtreecommitdiff
path: root/testsuite/tests/lib
Commit message (Expand)AuthorAgeFilesLines
* Add a basic test for ByteArray's Monoid instanceMatthew Craven2022-06-222-0/+84
* fix executablePath test for NetBSDFraser Tweedale2022-05-261-8/+19
* executablePath test: fix file extension treatmentFraser Tweedale2022-05-261-10/+11
* Give the two T19569 tests different namesMatthew Craven2022-05-052-1/+1
* Fix broken rules for (^) with known small powersMatthew Craven2022-05-051-1/+1
* Add a test for the bracketing in rules for (^)Matthew Craven2022-05-052-0/+57
* Data.Functor.Classes: fix Ord1 instance for DownVaibhav Sagar2021-12-143-0/+10
* testsuite: disable some tests when we don't have dynamic librariesZubin Duggal2021-11-181-1/+1
* Canonicalize bignum literalsSylvain Henry2021-09-111-6/+1
* Only dump Core stats when requested to do so (#20342)Sylvain Henry2021-09-081-1/+0
* Add test for executablePathFraser Tweedale2021-07-062-1/+51
* Detect underflow in fromIntegral/Int->Natural ruleSylvain Henry2021-07-023-0/+14
* Bignum: match on DataCon workers in rules (#19892)Sylvain Henry2021-05-291-1/+8
* Add pattern TypeRep (#19691), exported by Type.Reflection.Baldur Blöndal2021-05-192-0/+34
* Fix array and cleanup conversion primops (#19026)Sylvain Henry2021-03-031-2/+2
* Add cmpNat, cmpSymbol, and cmpCharDaniel Winograd-Cort2021-03-033-0/+28
* Bignum: fix bogus rewrite rule (#19345)Sylvain Henry2021-02-133-0/+15
* Fix -dynamic-too with wired-in modules (#19264)Sylvain Henry2021-01-303-0/+8
* Fix spurious failures of T16916 on CI (#16966)Sylvain Henry2021-01-273-13/+46
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-234-3/+258
* Natural: fix left shift of 0 (fix #19170)Sylvain Henry2021-01-093-0/+15
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-261-2/+2
* Bignum: fix bigNatCompareWord# bug (#18813)Sylvain Henry2020-10-103-0/+27
* Bignum: match on small Integer/NaturalSylvain Henry2020-10-093-0/+12
* Bignum: implement integerPowMod (#18427)Sylvain Henry2020-10-024-22/+36
* Bignum: implement integerRecipMod (#18427)Sylvain Henry2020-10-025-6/+46
* Bignum: add integerNegate RULESylvain Henry2020-10-013-0/+19
* Bignum: implement extended GCD (#18427)Sylvain Henry2020-09-254-3/+1174
* testsuite: Increase tolerance of T16916Ben Gamari2020-08-121-1/+1
* Bignum: fix powMod for gmp backend (#18515)Sylvain Henry2020-07-303-12/+4
* Update testsuiteSylvain Henry2020-06-176-21/+22
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-0/+1
* Split integerGmpInternals test in several partsSylvain Henry2020-01-049-175/+247
* Test proxy-polymorphic sameNat and sameSymbolBodigrim2019-12-052-0/+25
* Make test 16916 more stable across runsIvan Kasatenko2019-11-171-2/+2
* testsuite: Skip T16916 on WindowsBen Gamari2019-11-091-1/+2
* Fix T16916 CI failures (#16966)Ivan Kasatenko2019-08-011-4/+8
* Do not ignore events deletion when events to be added are provided (#16916)Ivan Kasatenko2019-07-213-0/+47
* testsuite: Fix omit_ways usageBen Gamari2019-06-121-2/+2
* Add a `NOINLINE` pragma on `someNatVal` (#16586)Iavor Diatchki2019-05-233-0/+29
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-301-6/+3
* Revert "Batch merge"Ben Gamari2019-01-301-3/+6
* Batch mergeBen Gamari2019-01-301-6/+3
* Fix tests for `integer-simple`Alec Theriault2019-01-161-1/+1
* testsuite: Fix a number of GHCi-related failures due to integer-simpleBen Gamari2018-12-121-2/+2
* Correct limb length and assertion for gcdExtIntegerDavidEichamnn2018-08-212-0/+33
* Restore function powModSecIntegerOlivier Chéron2017-09-191-3/+1
* Make function intToSBigNat# preserve sign (fixes #14085)Olivier Chéron2017-08-172-2/+8
* integerConstantFolding: no longer broken with -DDEBUG (#1106)Joachim Breitner2017-03-091-2/+1
View Lorry Controller Status