Commit 3562727f authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Simple refactor to remove misleading comment

parent b8effa7f
......@@ -742,14 +742,12 @@ tcTyClDecl1 _parent roles_info
, tcdATs = ats, tcdATDefs = at_defs })
= ASSERT( isNothing _parent )
do { clas <- fixM $ \ clas ->
-- We need the knot becase 'clas' is passed into tcClassATs
tcTyClTyVars class_name $ \ binders res_kind ->
do { MASSERT( isConstraintKind res_kind )
-- This little knot is just so we can get
-- hold of the name of the class TyCon, which we
-- need to look up its recursiveness
; traceTc "tcClassDecl 1" (ppr class_name $$ ppr binders)
; let tycon_name = tyConName (classTyCon clas)
roles = roles_info tycon_name
; let tycon_name = class_name -- We use the same name
roles = roles_info tycon_name -- for TyCon and Class
; ctxt' <- solveEqualities $ tcHsContext ctxt
; ctxt' <- zonkTcTypeToTypes emptyZonkEnv ctxt'
......
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