diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-02-11 09:18:09 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-06-17 16:22:04 -0400 |
| commit | f817d816e60a487bca64037095c01e9956225b64 (patch) | |
| tree | 7e2779c7e2485539001b3649bea62554b6d924f7 /testsuite/tests/dependent | |
| parent | aa9e7b7196f03f84579e3b4a09068c668cbe6ffb (diff) | |
| download | haskell-f817d816e60a487bca64037095c01e9956225b64.tar.gz | |
Update testsuite
* support detection of slow ghc-bignum backend (to replace the detection
of integer-simple use). There are still some test cases that the
native backend doesn't handle efficiently enough.
* remove tests for GMP only functions that have been removed from
ghc-bignum
* fix test results showing dependent packages (e.g. integer-gmp) or
showing suggested instances
* fix test using Integer/Natural API or showing internal names
Diffstat (limited to 'testsuite/tests/dependent')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T14729.stderr | 3 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T15743.stderr | 3 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T15743e.stderr | 3 |
3 files changed, 3 insertions, 6 deletions
diff --git a/testsuite/tests/dependent/should_compile/T14729.stderr b/testsuite/tests/dependent/should_compile/T14729.stderr index 4c31287941..2a14dd8b9c 100644 --- a/testsuite/tests/dependent/should_compile/T14729.stderr +++ b/testsuite/tests/dependent/should_compile/T14729.stderr @@ -11,5 +11,4 @@ COERCION AXIOMS FAMILY INSTANCES type instance F Int = Bool -- Defined at T14729.hs:10:15 Dependent modules: [] -Dependent packages: [base-4.15.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.15.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] diff --git a/testsuite/tests/dependent/should_compile/T15743.stderr b/testsuite/tests/dependent/should_compile/T15743.stderr index acdb531ba8..54d691c409 100644 --- a/testsuite/tests/dependent/should_compile/T15743.stderr +++ b/testsuite/tests/dependent/should_compile/T15743.stderr @@ -3,5 +3,4 @@ TYPE CONSTRUCTORS forall {k1} k2 (k3 :: k2). Proxy k3 -> k1 -> k2 -> * roles nominal nominal nominal phantom phantom phantom Dependent modules: [] -Dependent packages: [base-4.15.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.15.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] diff --git a/testsuite/tests/dependent/should_compile/T15743e.stderr b/testsuite/tests/dependent/should_compile/T15743e.stderr index 524b4831ef..23bab0712d 100644 --- a/testsuite/tests/dependent/should_compile/T15743e.stderr +++ b/testsuite/tests/dependent/should_compile/T15743e.stderr @@ -52,5 +52,4 @@ DATA CONSTRUCTORS (d :: Proxy k5) (e :: Proxy k7). f c -> T k8 a b f c d e Dependent modules: [] -Dependent packages: [base-4.15.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.15.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] |