From a4572b40a9668d949b906c000e40d65ca9dc2798 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Wed, 20 Sep 2006 18:35:18 +0000 Subject: [PATCH] Fix TcSplice after some type family related changes Mon Sep 18 19:04:12 EDT 2006 Manuel M T Chakravarty * Fix TcSplice after some type family related changes Wed Aug 16 19:51:27 EDT 2006 Manuel M T Chakravarty * Fix TcSplice after some type family related changes --- compiler/typecheck/TcSplice.lhs | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/compiler/typecheck/TcSplice.lhs b/compiler/typecheck/TcSplice.lhs index 1d17c4d..455cfa0 100644 --- a/compiler/typecheck/TcSplice.lhs +++ b/compiler/typecheck/TcSplice.lhs @@ -585,12 +585,10 @@ reifyTyCon tc | isFunTyCon tc = return (TH.PrimTyConI (reifyName tc) 2 False) | isPrimTyCon tc = return (TH.PrimTyConI (reifyName tc) (tyConArity tc) (isUnLiftedTyCon tc)) | isSynTyCon tc - = case synTyConDefn tc of - Nothing -> noTH SLIT("type family") (ppr tc) - Just (tvs, rhs) -> - do { rhs' <- reifyType rhs - ; return (TH.TyConI $ - TH.TySynD (reifyName tc) (reifyTyVars tvs) rhs') } + = do { let (tvs, rhs) = synTyConDefn tc + ; rhs' <- reifyType rhs + ; return (TH.TyConI $ + TH.TySynD (reifyName tc) (reifyTyVars tvs) rhs') } reifyTyCon tc = do { cxt <- reifyCxt (tyConStupidTheta tc) -- 1.7.10.4