Fix up tests for Trac #7220; the old test really was ambiguous
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Nov 2014 11:29:47 +0000 (11:29 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Nov 2014 11:36:24 +0000 (11:36 +0000)
testsuite/tests/typecheck/should_compile/T7220.hs
testsuite/tests/typecheck/should_compile/T7220a.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T

index 36ae54a..bf4df87 100644 (file)
@@ -3,25 +3,26 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Test2 where
 
 class C a b | b -> a
 
 data A = A
-data X = X
+data X = X
 data Y = Y
 
 type family TF b
 
-f :: (forall b. (C a b, TF b ~ Y) => b) -> X
+f :: (forall b. (C a b, TF b ~ Y) => b) -> X a
 f _ = undefined
 
 u :: (C A b, TF b ~ Y) => b
 u = undefined
 
-v :: X
-v = (f :: (forall b. (C A b, TF b ~ Y) => b) -> X) u -- This line causes an error (see below)
+v :: X A
+v = (f :: (forall b. (C A b, TF b ~ Y) => b) -> X A) u -- This line causes an error (see below)
 
 {-
 GHC 7.6.1-rc1 (7.6.0.20120810) rejects this code with the following error message.
diff --git a/testsuite/tests/typecheck/should_compile/T7220a.hs b/testsuite/tests/typecheck/should_compile/T7220a.hs
new file mode 100644 (file)
index 0000000..4739626
--- /dev/null
@@ -0,0 +1,27 @@
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+
+module T7220a where
+
+class C a b | b -> a
+
+data X = X
+data Y = Y
+
+type family TF b
+
+f :: (forall b. (C a b, TF b ~ Y) => b) -> X
+-- This type is really ambiguous
+-- GHC 7.8 didn't detect that, and accepted the type, but would fail
+-- when given    g :: <the same type>
+--               g x = f x
+-- But it would succeed if you said just
+--               g = f
+-- Now we fail in all ways!
+
+f _ = undefined
+
index 7e825d9..8acfa4a 100644 (file)
@@ -426,4 +426,5 @@ test('T9708', normal, compile_fail, [''])
 test('T9404', normal, compile, [''])
 test('T9404b', normal, compile, [''])
 test('T7220', normal, compile, [''])
+test('T7220a', normal, compile_fail, [''])
 test('T9151', normal, compile, [''])