Repository : ssh://g...@git.haskell.org/testsuite
On branch : master
Link :
http://ghc.haskell.org/trac/ghc/changeset/4bf7d5e39065d9ded17b009385a22fe4ab8fa771/testsuite
>---------------------------------------------------------------
commit 4bf7d5e39065d9ded17b009385a22fe4ab8fa771
Author: Simon Peyton Jones <simo...@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 -> ()
_______________________________________________
ghc-commits mailing list
ghc-commits@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-commits
