Update code to match new definition of GHC's HsTyVarBndr.
authorRichard Eisenberg <eir@cis.upenn.edu>
Fri, 2 Aug 2013 14:54:10 +0000 (15:54 +0100)
committerRichard Eisenberg <eir@cis.upenn.edu>
Fri, 2 Aug 2013 14:54:10 +0000 (15:54 +0100)
dph-lifted-copy/Data/Array/Parallel/Lifted/TH/Repr.hs
dph-test/framework/DPH/Testsuite/Preproc.hs

index daf78a3..dd33d85 100644 (file)
@@ -12,8 +12,10 @@ import Language.Haskell.TH
 import Data.List                                (intercalate)
 
 tyBndrVar :: TyVarBndr -> Name
-tyBndrVar (PlainTV  n)   = n
-tyBndrVar (KindedTV n _) = n
+tyBndrVar (PlainTV  n)          = n
+tyBndrVar (KindedTV n _)        = n
+tyBndrVar (RoledTV n _)         = n
+tyBndrVar (KindedRoledTV n _ _) = n
 
 mkAppTs :: Type -> [Type] -> Type
 mkAppTs = foldl AppT
index 80310ab..5d85bdf 100644 (file)
@@ -119,8 +119,10 @@ properties decs = [mkProp nm ty | SigD nm ty <- decs]
 names :: [TyVarBndr] -> [Name]
 names tvs = map name tvs
   where
-    name (PlainTV  n  ) = n
-    name (KindedTV n _) = n
+    name (PlainTV  n  )        = n
+    name (KindedTV n _)        = n
+    name (RoledTV n _)         = n
+    name (KindedRoledTV n _ _) = n
 
 -- | Create a list of mkTest expressions out of Inst expressions.
 --