From 54ea21dfbe1c06307eab605977fb092ed63aeb5b Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Thu, 6 Dec 2012 21:17:56 -0500 Subject: [PATCH] Compilation fixes to THTuple for new GHC --- src/Dyna/XXX/THTuple.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Dyna/XXX/THTuple.hs b/src/Dyna/XXX/THTuple.hs index bbee260..e641da5 100644 --- 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] -- 2.50.1