ghc-8.2.1.20171108: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcTyDecls

Contents

Synopsis

Documentation

type RolesInfo = Name -> [Role] Source #

checkSynCycles :: UnitId -> [TyCon] -> [LTyClDecl Name] -> TcM () Source #

Checks if any of the passed in TyCons have cycles. Takes the UnitId of the home package (as we can avoid checking those TyCons: cycles never go through foreign packages) and the corresponding LTyClDecl Name for each TyCon, so we can give better error messages.

Implicits

Record selectors