Re: [GHC] #8930: GHC API: List of available Pragmas