From 5e41a5afcc39480f4e60055843a5e4106b6f8875 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 18 Oct 2006 11:24:18 +0000 Subject: [PATCH] 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. --- compiler/types/TyCon.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs index fc27995..3ae5c3e 100644 --- a/compiler/types/TyCon.lhs +++ b/compiler/types/TyCon.lhs @@ -173,7 +173,8 @@ data TyCon tyConUnique :: Unique, tyConName :: Name, tyConKind :: Kind, - tyConArity :: Arity, + tyConArity :: Arity, -- SLPJ Oct06: I'm not sure what the significance + -- of the arity of a primtycon is! primTyConRep :: PrimRep, -- Many primitive tycons are unboxed, but some are -- 1.7.10.4