summaryrefslogtreecommitdiff
path: root/testsuite/tests/lib
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-9/+3
* integer-gmp: Make minusInteger more efficientAlan Mock2016-06-043-1/+38
* integerConstantFolding: when(compiler_debugged(), expect_broken(#11006))Thomas Miedema2015-10-301-1/+2
* Improve TidyPgm.hasCafRefs to account for Integer literals (Trac #8525)Simon Peyton Jones2014-12-171-2/+1
* Reimplement `gcdExtInteger` (#9281)Herbert Valerio Riedel2014-11-291-11/+1
* Re-implement `recipModInteger` (#9281)Herbert Valerio Riedel2014-11-291-10/+1
View Lorry Controller Status