[commit: testsuite] master: Error message wibbles following ambiguity check changes (4bf7d5e)
git at git.haskell.org
git
Thu Oct 3 08:25:40 UTC 2013
Repository : ssh://git at git.haskell.org/testsuite
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/4bf7d5e39065d9ded17b009385a22fe4ab8fa771/testsuite
>---------------------------------------------------------------
commit 4bf7d5e39065d9ded17b009385a22fe4ab8fa771
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Wed Oct 2 14:01:02 2013 +0100
Error message wibbles following ambiguity check changes
>---------------------------------------------------------------
4bf7d5e39065d9ded17b009385a22fe4ab8fa771
tests/deriving/should_fail/T5287.stderr | 1 +
tests/ghci/scripts/Defer02.stderr | 2 ++
tests/indexed-types/should_fail/NoMatchErr.stderr | 1 +
tests/indexed-types/should_fail/T1900.stderr | 1 +
tests/perf/compiler/T5837.stderr | 2 ++
tests/typecheck/should_fail/T5300.stderr | 2 ++
tests/typecheck/should_fail/T7279.stderr | 1 +
tests/typecheck/should_fail/tcfail097.stderr | 1 +
tests/typecheck/should_fail/tcfail098.stderr | 1 +
tests/typecheck/should_fail/tcfail142.stderr | 1 +
10 files changed, 13 insertions(+)
diff --git a/tests/deriving/should_fail/T5287.stderr b/tests/deriving/should_fail/T5287.stderr
index 8bacf06..2ad7ea0 100644
--- a/tests/deriving/should_fail/T5287.stderr
+++ b/tests/deriving/should_fail/T5287.stderr
@@ -7,4 +7,5 @@ T5287.hs:6:10:
at T5287.hs:6:10-31
The type variable ?oops0? is ambiguous
In the ambiguity check for: forall a oops. A a oops => Read (D a)
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the instance declaration for ?Read (D a)?
diff --git a/tests/ghci/scripts/Defer02.stderr b/tests/ghci/scripts/Defer02.stderr
index 5ff199c..2d4b848 100644
--- a/tests/ghci/scripts/Defer02.stderr
+++ b/tests/ghci/scripts/Defer02.stderr
@@ -83,11 +83,13 @@
Inaccessible code in
the type signature for k :: Int ~ Bool => Int -> Bool
In the ambiguity check for: Int ~ Bool => Int -> Bool
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?k?: k :: Int ~ Bool => Int -> Bool
../../typecheck/should_run/Defer01.hs:45:6: Warning:
Couldn't match expected type ?Bool? with actual type ?Int?
In the ambiguity check for: Int ~ Bool => Int -> Bool
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?k?: k :: Int ~ Bool => Int -> Bool
../../typecheck/should_run/Defer01.hs:45:6: Warning:
diff --git a/tests/indexed-types/should_fail/NoMatchErr.stderr b/tests/indexed-types/should_fail/NoMatchErr.stderr
index 7f43b5d..06a4f0c 100644
--- a/tests/indexed-types/should_fail/NoMatchErr.stderr
+++ b/tests/indexed-types/should_fail/NoMatchErr.stderr
@@ -10,4 +10,5 @@ NoMatchErr.hs:19:7:
Actual type: Memo d0 a -> Memo d0 a
In the ambiguity check for:
forall d a. Fun d => Memo d a -> Memo d a
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?f?: f :: Fun d => Memo d a -> Memo d a
diff --git a/tests/indexed-types/should_fail/T1900.stderr b/tests/indexed-types/should_fail/T1900.stderr
index 08218a2..896a441 100644
--- a/tests/indexed-types/should_fail/T1900.stderr
+++ b/tests/indexed-types/should_fail/T1900.stderr
@@ -9,5 +9,6 @@ T1900.hs:13:10:
Expected type: Depend s -> Bool
Actual type: Depend s0 -> Bool
In the ambiguity check for: forall s. Bug s => Depend s -> Bool
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?check?:
check :: Bug s => Depend s -> Bool
diff --git a/tests/perf/compiler/T5837.stderr b/tests/perf/compiler/T5837.stderr
index b2fa4b4..3b6b4ae 100644
--- a/tests/perf/compiler/T5837.stderr
+++ b/tests/perf/compiler/T5837.stderr
@@ -157,3 +157,5 @@ T5837.hs:8:6:
(TF
(TF
a)))))))))))))))))))))))))))))))))))))))))))))))))
+ In the ambiguity check for: forall a. a ~ TF (a, Int) => Int
+ In the type signature for ?t?: t :: a ~ TF (a, Int) => Int
diff --git a/tests/typecheck/should_fail/T5300.stderr b/tests/typecheck/should_fail/T5300.stderr
index f2652fc..d32af5b 100644
--- a/tests/typecheck/should_fail/T5300.stderr
+++ b/tests/typecheck/should_fail/T5300.stderr
@@ -11,6 +11,7 @@ T5300.hs:11:7:
forall a b (m :: * -> *) c.
(Monad m, C1 a b c) =>
a -> StateT (T b) m a
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?f1?:
f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
@@ -27,6 +28,7 @@ T5300.hs:14:7:
forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
(Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
a1 -> StateT (T b2) m a2
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?f2?:
f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
a1 -> StateT (T b2) m a2
diff --git a/tests/typecheck/should_fail/T7279.stderr b/tests/typecheck/should_fail/T7279.stderr
index 5279354..d768d90 100644
--- a/tests/typecheck/should_fail/T7279.stderr
+++ b/tests/typecheck/should_fail/T7279.stderr
@@ -7,4 +7,5 @@ T7279.hs:6:10:
at T7279.hs:6:10-35
The type variable ?b0? is ambiguous
In the ambiguity check for: forall a b. (Eq a, Show b) => Eq (T a)
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the instance declaration for ?Eq (T a)?
diff --git a/tests/typecheck/should_fail/tcfail097.stderr b/tests/typecheck/should_fail/tcfail097.stderr
index 7b2b3ae..4d5d40c 100644
--- a/tests/typecheck/should_fail/tcfail097.stderr
+++ b/tests/typecheck/should_fail/tcfail097.stderr
@@ -6,4 +6,5 @@ tcfail097.hs:5:6:
at tcfail097.hs:5:6-23
The type variable ?a0? is ambiguous
In the ambiguity check for: forall a. Eq a => Int -> Int
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?f?: f :: Eq a => Int -> Int
diff --git a/tests/typecheck/should_fail/tcfail098.stderr b/tests/typecheck/should_fail/tcfail098.stderr
index cfb7aaf..15d33b1 100644
--- a/tests/typecheck/should_fail/tcfail098.stderr
+++ b/tests/typecheck/should_fail/tcfail098.stderr
@@ -7,4 +7,5 @@ tcfail098.hs:12:10:
at tcfail098.hs:12:10-26
The type variable ?a0? is ambiguous
In the ambiguity check for: forall a. Bar a => Bar Bool
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the instance declaration for ?Bar Bool?
diff --git a/tests/typecheck/should_fail/tcfail142.stderr b/tests/typecheck/should_fail/tcfail142.stderr
index 767598e..cd8fd53 100644
--- a/tests/typecheck/should_fail/tcfail142.stderr
+++ b/tests/typecheck/should_fail/tcfail142.stderr
@@ -7,4 +7,5 @@ tcfail142.hs:18:8:
at tcfail142.hs:18:8-25
The type variable ?a0? is ambiguous
In the ambiguity check for: forall r a. Bar a r => r -> ()
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ?bar?: bar :: Bar a r => r -> ()
More information about the ghc-commits
mailing list