Nicolas, thanks for the welcome, and thanks for pointing out the additional
'Type' constructors!
I'd looked over the available constructors, but apparently not very well. The
'ListT', 'TupleT', 'ArrowT', etc., constructors are precisely what I need to
make this work in a straightforward
The issue you had with applications of the [] type seems to be more
insidious than my last email made it out to be. This expression
( $(return $ ConE (mkName [])) ::
$(return $ ConT (mkName []) `AppT` ConT ''Char)
)
fails with [] is applied to too many arguments. I'm thinking that
the []
Nicolas,
Intended usage seems to be something like
AppT ListT $ ConT . mkName $ Int
That works. So it seems that there is indeed no way to construct the
syntactically special list type from its (valid) name, but it can easily be
done as above.
In my opinion, it should be possible to do what
Whoops, sorry for the bad code in my last message. I mean of course that the
problem is that
ConT (mkName []) /= ListT
Regards,
Eric
On Oct 7, 2012, at 12:08 , Eric M. Pashman eric.pash...@gmail.com wrote:
Nicolas,
Intended usage seems to be something like
AppT ListT $ ConT . mkName