Testsuite wibbles around #9200
authorRichard Eisenberg <eir@cis.upenn.edu>
Fri, 8 Aug 2014 12:14:52 +0000 (08:14 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 12 Aug 2014 15:46:21 +0000 (11:46 -0400)
testsuite/tests/ghci/scripts/T7939.hs
testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot
testsuite/tests/polykinds/T7053.hs
testsuite/tests/polykinds/T7053.stderr [deleted file]
testsuite/tests/polykinds/all.T

index 93b9016..fbdf883 100644 (file)
@@ -22,6 +22,6 @@ type family K a where
   K '[] = Nothing
   K (h ': t) = Just h
 
-type family L (a :: k) b :: k where
+type family L (a :: k) (b :: *) :: k where
   L Int Int = Bool
-  L Maybe Bool = IO
\ No newline at end of file
+  L Maybe Bool = IO
index 0388084..503e1ad 100644 (file)
@@ -9,5 +9,5 @@ type family Bar a where
   Bar Int = Bool
   Bar Double = Char
 
-type family Baz (a :: k) where
-  Baz Int = Bool
\ No newline at end of file
+type family Baz (a :: k) :: * where
+  Baz Int = Bool
index 4db1e0d..d45dbad 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE PolyKinds, GADTs #-}
 
 module T7053 where
 
diff --git a/testsuite/tests/polykinds/T7053.stderr b/testsuite/tests/polykinds/T7053.stderr
deleted file mode 100644 (file)
index c9ebcfe..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-
-T7053.hs:6:52:
-    Kind occurs check
-    The first argument of ‘a’ should have kind ‘k0’,
-      but ‘b’ has kind ‘k0 -> k1’
-    In the type ‘TypeRep (a b)’
-    In the definition of data constructor ‘TyApp’
-    In the data declaration for ‘TypeRep’
index 82c1824..5b02dda 100644 (file)
@@ -54,7 +54,7 @@ test('T6137', normal, compile,[''])
 test('T6093', normal, compile,[''])
 test('T6049', normal, compile,[''])
 test('T6129', normal, compile_fail,[''])
-test('T7053', normal, compile_fail,[''])
+test('T7053', normal, compile,[''])
 test('T7053a', normal, compile,[''])
 test('T7020', normal, compile,[''])
 test('T7022', normal, run_command, ['$MAKE -s --no-print-directory T7022'])