Use the new flag -XDataKinds
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Mon, 16 Jan 2012 13:19:16 +0000 (14:19 +0100)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Mon, 16 Jan 2012 13:22:30 +0000 (14:22 +0100)
testsuite/tests/driver/T4437.hs
testsuite/tests/polykinds/PolyKinds01.hs
testsuite/tests/polykinds/PolyKinds02.hs
testsuite/tests/polykinds/PolyKinds02.stderr
testsuite/tests/polykinds/PolyKinds05.hs
testsuite/tests/polykinds/PolyKinds06.hs
testsuite/tests/polykinds/PolyKinds07.hs
testsuite/tests/polykinds/PolyKinds09.hs
testsuite/tests/polykinds/PolyKinds10.hs
testsuite/tests/polykinds/PolyKinds11.hs
testsuite/tests/polykinds/PolyKinds12.hs

index 31454ff..008c664 100644 (file)
@@ -39,6 +39,7 @@ expectedGhcOnlyExtensions = ["ParallelArrays",
                              "AlternativeLayoutRuleTransitional",
                              "MonadComprehensions",
                              "TraditionalRecordSyntax",
+                             "DataKinds",
                              "PolyKinds",
                              "InstanceSigs",
                              "CApiFFI"]
index 2f5f1e8..918e5a9 100644 (file)
@@ -1,4 +1,5 @@
-{-# LANGUAGE PolyKinds                  #-}
+{-# LANGUAGE DataKinds                  #-}
+{-# LANGUAGE KindSignatures             #-}
 {-# LANGUAGE GADTs                      #-}
 
 module PolyKinds01 where
index 259b53e..6a5559c 100644 (file)
@@ -1,4 +1,5 @@
-{-# LANGUAGE PolyKinds                  #-}
+{-# LANGUAGE DataKinds                  #-}
+{-# LANGUAGE KindSignatures             #-}
 {-# LANGUAGE GADTs                      #-}
 
 module PolyKinds02 where
index 7c73222..3c61552 100644 (file)
@@ -1,5 +1,5 @@
 
-PolyKinds02.hs:12:16:
+PolyKinds02.hs:13:16:
     Kind mis-match
     The second argument of `Vec' should have kind `Nat',
     but `Nat' has kind `*'
index f86433c..50bea43 100644 (file)
@@ -5,5 +5,5 @@ module PolyKinds05 where
 data A f
 data B = B1 (A Maybe)
 
--- Should fail. We have -XPolyKinds on, so `A` gets the polymorphic kind 
+-- Should work. We have -XPolyKinds on, so `A` gets the polymorphic kind 
 --   forall k. k -> *
index b89d3fb..9691d45 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PolyKinds                  #-}
+{-# LANGUAGE DataKinds                  #-}
 {-# LANGUAGE GADTs                      #-}
 
 module PolyKinds06 where
index b132b09..27d0ace 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PolyKinds                  #-}
+{-# LANGUAGE DataKinds                  #-}
 {-# LANGUAGE GADTs                      #-}
 
 module PolyKinds07 where
index 4b6f412..b874d5c 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PolyKinds                  #-}
+{-# LANGUAGE DataKinds                  #-}
 {-# LANGUAGE DefaultSignatures          #-}
 {-# LANGUAGE TypeFamilies               #-}
 {-# LANGUAGE GADTs                      #-}
index b573532..b023fd0 100644 (file)
@@ -5,7 +5,7 @@
 {-# LANGUAGE RankNTypes                 #-}
 {-# LANGUAGE ScopedTypeVariables        #-}
 {-# LANGUAGE FlexibleContexts           #-}
-{-# LANGUAGE PolyKinds                  #-}
+{-# LANGUAGE DataKinds                  #-}
 
 module Main where
 
index c7eea5b..f80fa3f 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PolyKinds                  #-}
+{-# LANGUAGE DataKinds                  #-}
 {-# LANGUAGE GADTs                      #-}
 
 module PolyKinds11 where
index 736f584..4d18551 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PolyKinds, TypeFamilies, GADTs #-}
+{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, GADTs #-}
 
 module PolyKinds12 where