Commit 1c7bb03d authored by Richard Eisenberg's avatar Richard Eisenberg Committed by Marge Bot

Comments only: document tcdDataCusk better.

parent 69c58f8a
Pipeline #6765 passed with stages
in 526 minutes and 48 seconds
......@@ -550,6 +550,7 @@ type LHsFunDep pass = Located (FunDep (Located (IdP pass)))
data DataDeclRn = DataDeclRn
{ tcdDataCusk :: Bool -- ^ does this have a CUSK?
-- See Note [CUSKs: complete user-supplied kind signatures]
, tcdFVs :: NameSet }
deriving Data
......@@ -864,6 +865,10 @@ NOTE THAT
This last point is much more debatable than the others; see
#15142 comment:22
Because this is fiddly to check, there is a field in the DataDeclRn
structure (included in a DataDecl after the renamer) that stores whether
or not the declaration has a CUSK.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment