Update to match new role annotation syntax.
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 17 Sep 2013 02:15:15 +0000 (22:15 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 17 Sep 2013 13:40:23 +0000 (09:40 -0400)
dph-lifted-copy/Data/Array/Parallel/Lifted/TH/Repr.hs
dph-test/framework/DPH/Testsuite/Preproc.hs

index dd33d85..9229723 100644 (file)
@@ -14,8 +14,6 @@ import Data.List                                (intercalate)
 tyBndrVar :: TyVarBndr -> Name
 tyBndrVar (PlainTV  n)          = n
 tyBndrVar (KindedTV n _)        = n
-tyBndrVar (RoledTV n _)         = n
-tyBndrVar (KindedRoledTV n _ _) = n
 
 mkAppTs :: Type -> [Type] -> Type
 mkAppTs = foldl AppT
index 5d85bdf..2f42ae7 100644 (file)
@@ -121,8 +121,6 @@ names tvs = map name tvs
   where
     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.
 --