-- This is the making of a TyCon. Just the same as the old mkAlgTyCon,
-- but now you also have to pass in the generic information about the type
-- constructor - you can get hold of it easily (see Generics module)
-mkAlgTyCon name kind tyvars theta argvrcs cons sels flavour rec
+mkAlgTyCon name kind tyvars theta argvrcs cons sels flavour is_rec
gen_info
= AlgTyCon {
tyConName = name,
selIds = sels,
algTyConClass = Nothing,
algTyConFlavour = flavour,
- algTyConRec = rec,
+ algTyConRec = is_rec,
genInfo = gen_info
}
-mkClassTyCon name kind tyvars argvrcs con clas flavour rec
+mkClassTyCon name kind tyvars argvrcs con clas flavour is_rec
= AlgTyCon {
tyConName = name,
tyConUnique = nameUnique name,
selIds = [],
algTyConClass = Just clas,
algTyConFlavour = flavour,
- algTyConRec = rec,
+ algTyConRec = is_rec,
genInfo = Nothing
}