Alejandro,
If I understand correctly, you're using the InteractiveEval module from the
GHC API. That module exposes a very specific interface, and sometimes
you'll need to do things beyond that - my approach has then been to look at
the implementation of these things, copy/paste code, and follow the types.
This will take you through other modules like HscTypes and so on, but you
might be able to figure out how to do what you want. The GHC source code
isn't great, but is fairly understandable if you stare at it for long
enough.
I also very highly encourage you to document what you did on the wiki page
for GHC API. The GHC API is in **dire** need of more explained example code
using it.
-- Andrew
On Tue, Jun 3, 2014 at 3:01 PM, Nils Schweinsberg
I'm not sure what exactly you're trying to do, but with Template Haskell it's easy:
test :: Name -> Q [Dec]
test name = do info <- reify name ...
Then call it from another module with the type name as argument (double single quotes):
data Test = A | B
test ''Test
The `Info` type returned by `reify` is described in:
http://hackage.haskell.org/package/template-haskell-2.9. 0.0/docs/Language-Haskell-TH-Syntax.html#t:Info
- Nils
Am 03.06.2014 21:13, schrieb Alejandro Serrano Mena:
Dear Haskell-Café, As part of my Google Summer of Code, I need to get the list of data constructors of a certain data type on a specific scenario. In my case, I'm getting a value of type Type (by calling exprType). I was expecting to be able to call getInfo directly on that value of type Type, but it doesn't have a name nor the constructors of Type are public. Thus, I'm not able to get that information :(
Thanks in advance, Alejandro
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe