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/roles | |
| 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/roles')
6 files changed, 6 insertions, 12 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index e4f1683ee9..37e0a6fb31 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -20,8 +20,7 @@ DATA CONSTRUCTORS K2 :: forall a. a -> T2 a K1 :: forall a. a -> T1 a Dependent modules: [] -Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.14.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] ==================== Typechecker ==================== Roles1.$tcT7 diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr index 54e01992be..cdc97da20f 100644 --- a/testsuite/tests/roles/should_compile/Roles14.stderr +++ b/testsuite/tests/roles/should_compile/Roles14.stderr @@ -6,8 +6,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Roles12.N:C2 :: C2 a = a -> a Dependent modules: [] -Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.14.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] ==================== Typechecker ==================== Roles12.$tcC2 diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr index 7d721f2c12..69898a98b9 100644 --- a/testsuite/tests/roles/should_compile/Roles2.stderr +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -6,8 +6,7 @@ DATA CONSTRUCTORS K2 :: forall a. FunPtr a -> T2 a K1 :: forall a. IO a -> T1 a Dependent modules: [] -Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.14.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] ==================== Typechecker ==================== Roles2.$tcT2 diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index a7fb7a06c9..faa15f955d 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -21,8 +21,7 @@ COERCION AXIOMS axiom Roles3.N:C3 :: C3 a b = a -> F3 b -> F3 b axiom Roles3.N:C4 :: C4 a b = a -> F4 b -> F4 b Dependent modules: [] -Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.14.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] ==================== Typechecker ==================== Roles3.$tcC4 diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 8f1d58183b..2428a94ed0 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -9,8 +9,7 @@ COERCION AXIOMS axiom Roles4.N:C1 :: C1 a = a -> a axiom Roles4.N:C3 :: C3 a = a -> Syn1 a Dependent modules: [] -Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.14.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] ==================== Typechecker ==================== Roles4.$tcC3 diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index 07d0496799..62042e8a0f 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -16,8 +16,7 @@ CLASS INSTANCES -- Defined at T8958.hs:10:10 instance [incoherent] Nominal a -- Defined at T8958.hs:7:10 Dependent modules: [] -Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.3.0] +Dependent packages: [base-4.14.0.0, ghc-bignum-1.0, ghc-prim-0.6.1] ==================== Typechecker ==================== T8958.$tcMap |