TypeLits question, how to build a Type Application with Symbol index
ggreif at gmail.com
Thu Jun 26 22:33:20 UTC 2014
data D (n :: Symbol)
in my module, and I want to obtain a type
programmatically. Where can I find code that performs this (or
1) I have to look up |D| in the current TyEnv (what if it is in a
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,
PS: some morsels I have so far:
compiler/prelude/PrelNames.lhs:gHC_GENERICS = mkBaseModule (fsLit
More information about the ghc-devs