Got it. Silly me. Thanks!!  - Conal

On Tue, Mar 22, 2016 at 5:25 PM, Andrew Farmer <[email protected]> wrote:

> Er, dictionary... sorry, mkDataOccFS
>
> On Tue, Mar 22, 2016 at 5:24 PM, Andrew Farmer <[email protected]>
> wrote:
> > mkVarUnqual calls mkVarOccFS, which constructs an OccName in the
> > varName namespace. You need to construct your RdrName via mkTyVarOcc,
> > which picks the Type/Class namespace.
> >
> > On Tue, Mar 22, 2016 at 5:09 PM, Conal Elliott <[email protected]> wrote:
> >> 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
> >>
> >> _______________________________________________
> >> ghc-devs mailing list
> >> [email protected]
> >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> >>
>
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to