Compilation fixes to THTuple for new GHC

diff --git a/src/Dyna/XXX/THTuple.hs b/src/Dyna/XXX/THTuple.hs
index bbee260b8fca6958f4b82f0404568cc036f303d4..e641da5afcb2d6e8e2902da4046a2967479ce44c 100644 (file)
--- a/src/Dyna/XXX/THTuple.hs
+++ b/src/Dyna/XXX/THTuple.hs
@@ -68,11 +68,11 @@ $(mkMKRLTs ''MKRLT)
 --   e.g. RTER (a,b) r = (r a, r b)
 class (MKLT (TOL base) ~ base) => Tupled base where
   -- | Apply r to each element of the tuple
-  type RTER base (r :: k -> *) :: *
+  type RTER base (r :: * -> *) :: *
 
   -- | Go from the tuple representation to a promoted list;
   --   the inverse of MKLT (as asserted by class constraints).
-  type TOL base :: [k]
+  type TOL base :: [*]
 
   -- | Send a tuple to an HList
   tupleHL   :: base -> HList (TOL base)
@@ -100,8 +100,8 @@ class (Tupled (RTE arred),
        MKRLT (RTR arred) (TOL (RTE arred)) ~ arred
       )
       => RTupled arred where
-  type RTR arred :: (k -> *)
-  type RTE arred :: k
+  type RTR arred :: (* -> *)
+  type RTE arred :: *
 
   -- | Eliminate an rtuple out to a list.
   tupleopEL :: (RTR arred ~ r) => (forall x . r x -> a) -> arred -> [a]