Commit 5e41a5af authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Add comment about arity

I'm not sure what the significance of the "arity" of a primtive
TyCon is.  They aren't necessarily saturated, so it's not that.

I rather think that arity is only relevant for 
	SynTyCon 
	AlgTyCon
	CoercionTyCon

This comment (and commit message) is just an aide memoire.
parent 1ee8a6f6
...@@ -173,7 +173,8 @@ data TyCon ...@@ -173,7 +173,8 @@ data TyCon
tyConUnique :: Unique, tyConUnique :: Unique,
tyConName :: Name, tyConName :: Name,
tyConKind :: Kind, tyConKind :: Kind,
tyConArity :: Arity, tyConArity :: Arity, -- SLPJ Oct06: I'm not sure what the significance
-- of the arity of a primtycon is!
primTyConRep :: PrimRep, primTyConRep :: PrimRep,
-- Many primitive tycons are unboxed, but some are -- Many primitive tycons are unboxed, but some are
......
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