From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Fri, 29 Dec 2006 18:11:22 +0000 (+0000)
Subject: data family declarations are fine without any type arguments
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=5f8e2da0def4a202031a5d7ac7dfd9fd4971395d

data family declarations are fine without any type arguments
---

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',