Permalink
Browse files

Merge pull request #1 from shelarcy/master

Add PolyKinds language extention to some examples
  • Loading branch information...
2 parents 4c11f0a + 4812568 commit 058d6e191a7ae8a0c64f79dc9d75d7f10c4d27d0 @ia0 committed Nov 26, 2011
Showing with 12 additions and 0 deletions.
  1. +1 −0 H/Either.hs
  2. +1 −0 H/List.hs
  3. +1 −0 NatRecord.hs
  4. +1 −0 S/Bool.hs
  5. +1 −0 S/Maybe_Nat.hs
  6. +1 −0 S/Nat.hs
  7. +1 −0 Vector.hs
  8. +1 −0 bugs/PatternMatch.hs
  9. +4 −0 bugs/Record.hs
View
@@ -1,5 +1,6 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
+{-# LANGUAGE PolyKinds #-}
module H.Either where
View
@@ -3,6 +3,7 @@
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE PolyKinds #-}
{- August 2011
View
@@ -6,6 +6,7 @@
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE PolyKinds #-}
module NatRecord where
View
@@ -1,5 +1,6 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
+{-# LANGUAGE PolyKinds #-}
module S.Bool where
View
@@ -1,6 +1,7 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE PolyKinds #-}
module S.Maybe_Nat where
View
@@ -1,6 +1,7 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE PolyKinds #-}
module S.Nat where
View
@@ -1,5 +1,6 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
+{-# LANGUAGE PolyKinds #-}
module Vector where
@@ -1,3 +1,4 @@
+-- {-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
View
@@ -2,6 +2,10 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE UndecidableInstances #-}
+#ifdef PROMOTION
+{-# LANGUAGE PolyKinds #-}
+#endif
+
module Record where

0 comments on commit 058d6e1

Please sign in to comment.