Resolved+new Q: TypeLits question, how to build a Type Application with Symbol index

[Simon Peyton Jones]

You'll need to give a lot more info than this before I can help Gabor.  Currently I have only the vaguest idea about what you are trying to accomplish.  Is there a wiki page that describes the design (user's eye view) in detail?

I see you have a branch.  If you are stuck, and give me repro instructions, I can attempt to help.

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Gabor
| Greif
| Sent: 27 June 2014 17:51
| To: ghc-devs
| Subject: Resolved+new Q: TypeLits question, how to build a Type
| Application with Symbol index
| 
| I succeeded to solve all of them :-)
| 
| But now I am blocked on on a panic
| 
| "not in scope during type checking, but it passed the renamer".
| 
| I suspect that while "deriving Generic" some instances are defined in
| some empty TcEnv, which does not contain my definition in context.
| 
| Is there a way to inject some type constructor into the TcEnv?
| 
| Thanks,
| 
|     Gabor
| 
| On 6/27/14, Gabor Greif <ggreif at gmail.com> wrote:
| > Hello devs,
| >
| > I have
| >
| > {{{
| > data D (n :: Symbol)
| > }}}
| >
| > in my module, and I want to obtain a type
| >
| > {{{
| > D "YAY!"
| > }}}
| >
| > programmatically. Where can I find code that performs this (or
| > something similar)?
| >
| > 1) I have to look up |D| in the current TyEnv (what if it is in a
| > specific module?),
| > 2) I have to build the type index (of kind Symbol), this involves
| > FastString, looks non-trivial,
| > 3) Apply 1) on 2), this is easy.
| >
| > Any hints welcome!
| >
| > Thanks and cheers,
| >
| >     Gabor
| >
| >
| > PS: some morsels I have so far:
| >
| > for 1)
| > compiler/prelude/PrelNames.lhs:gHC_GENERICS    = mkBaseModule (fsLit
| > "GHC.Generics")
| >
| _______________________________________________
| ghc-devs mailing list
| ghc-devs at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-devs