lookupRdrNameInModuleForPlugins with constructors

Simon Peyton Jones simonpj at microsoft.com
Wed Mar 23 08:32:29 UTC 2016

Start with the Class.  Use classTyCon to get the TyCon.  Use tyConDataCons to get the data constructor.


From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Conal Elliott
Sent: 23 March 2016 00:09
To: ghc-devs at haskell.org
Subject: lookupRdrNameInModuleForPlugins with constructors

I'm trying to construct a dictionary in a GHC plugin. I'm stuck on finding the constructor for the dictionary. When I use `-ddump-simpl` on the module that defines the class, I see "Circat.Rep.C:HasRep". To try finding that constructor, I say

> lookupRdrNameInModuleForPlugins hsc_env
>   (mkModuleName "Circat.Rep") (mkVarUnqual "C:HasRep")

However, I keep getting `Nothing` as a result. (Same without the "C:".) I've also had this same difficulty when looking up constructors for algebraic data types and when looking up TyCons. For regular value Ids, lookup succeeds.

What am I missing?
Thanks, - Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160323/61583add/attachment-0001.html>

More information about the ghc-devs mailing list