From 5f8e2da0def4a202031a5d7ac7dfd9fd4971395d Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Fri, 29 Dec 2006 18:11:22 +0000 Subject: [PATCH] data family declarations are fine without any type arguments --- compiler/rename/RnSource.lhs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/compiler/rename/RnSource.lhs b/compiler/rename/RnSource.lhs index 08e6860..79f7b83 100644 --- a/compiler/rename/RnSource.lhs +++ b/compiler/rename/RnSource.lhs @@ -831,8 +831,7 @@ rnTySig (tydecl@TyData {tcdCtxt = context, tcdLName = tycon, ASSERT( isNothing mb_typats ) -- won't have type patterns ASSERT( isNothing derivs ) -- won't have deriving ASSERT( isJust sig ) -- will have kind signature - do { checkM (not . null $ tyvars) $ addErr needOneIdx -- #indexes >= 1 - ; bindIdxVars (ksig_doc tycon) tyvars $ \tyvars' -> do { + do { bindIdxVars (ksig_doc tycon) tyvars $ \tyvars' -> do { ; tycon' <- lookupLocatedTopBndrRn tycon ; context' <- rnContext (ksig_doc tycon) context ; returnM (TyData {tcdND = tcdND tydecl, tcdCtxt = context', -- 1.7.10.4