Commit 5f8e2da0 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

data family declarations are fine without any type arguments

parent c14920f7
...@@ -831,8 +831,7 @@ rnTySig (tydecl@TyData {tcdCtxt = context, tcdLName = tycon, ...@@ -831,8 +831,7 @@ rnTySig (tydecl@TyData {tcdCtxt = context, tcdLName = tycon,
ASSERT( isNothing mb_typats ) -- won't have type patterns ASSERT( isNothing mb_typats ) -- won't have type patterns
ASSERT( isNothing derivs ) -- won't have deriving ASSERT( isNothing derivs ) -- won't have deriving
ASSERT( isJust sig ) -- will have kind signature ASSERT( isJust sig ) -- will have kind signature
do { checkM (not . null $ tyvars) $ addErr needOneIdx -- #indexes >= 1 do { bindIdxVars (ksig_doc tycon) tyvars $ \tyvars' -> do {
; bindIdxVars (ksig_doc tycon) tyvars $ \tyvars' -> do {
; tycon' <- lookupLocatedTopBndrRn tycon ; tycon' <- lookupLocatedTopBndrRn tycon
; context' <- rnContext (ksig_doc tycon) context ; context' <- rnContext (ksig_doc tycon) context
; returnM (TyData {tcdND = tcdND tydecl, tcdCtxt = context', ; returnM (TyData {tcdND = tcdND tydecl, tcdCtxt = context',
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment