Commit 5ff65d76 authored by dreixel's avatar dreixel
Browse files

Use the new flag -XDataKinds

parent 28f619e2
...@@ -39,6 +39,7 @@ expectedGhcOnlyExtensions = ["ParallelArrays", ...@@ -39,6 +39,7 @@ expectedGhcOnlyExtensions = ["ParallelArrays",
"AlternativeLayoutRuleTransitional", "AlternativeLayoutRuleTransitional",
"MonadComprehensions", "MonadComprehensions",
"TraditionalRecordSyntax", "TraditionalRecordSyntax",
"DataKinds",
"PolyKinds", "PolyKinds",
"InstanceSigs", "InstanceSigs",
"CApiFFI"] "CApiFFI"]
......
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-} {-# LANGUAGE GADTs #-}
module PolyKinds01 where module PolyKinds01 where
......
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-} {-# LANGUAGE GADTs #-}
module PolyKinds02 where module PolyKinds02 where
......
PolyKinds02.hs:12:16: PolyKinds02.hs:13:16:
Kind mis-match Kind mis-match
The second argument of `Vec' should have kind `Nat', The second argument of `Vec' should have kind `Nat',
but `Nat' has kind `*' but `Nat' has kind `*'
......
...@@ -5,5 +5,5 @@ module PolyKinds05 where ...@@ -5,5 +5,5 @@ module PolyKinds05 where
data A f data A f
data B = B1 (A Maybe) 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 -> * -- forall k. k -> *
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-} {-# LANGUAGE GADTs #-}
module PolyKinds06 where module PolyKinds06 where
......
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-} {-# LANGUAGE GADTs #-}
module PolyKinds07 where module PolyKinds07 where
......
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-}
{-# LANGUAGE DefaultSignatures #-} {-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-} {-# LANGUAGE GADTs #-}
......
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
{-# LANGUAGE RankNTypes #-} {-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-}
module Main where module Main where
......
{-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-} {-# LANGUAGE GADTs #-}
module PolyKinds11 where module PolyKinds11 where
......
{-# LANGUAGE PolyKinds, TypeFamilies, GADTs #-} {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, GADTs #-}
module PolyKinds12 where module PolyKinds12 where
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment