[Haskell-cafe] Help me TH code.

[Serguey Zefirov]

2010/10/27 Andy Stewart <lazycat.manatee at gmail.com>:
> Hi all,
>
> I want use TH write some function like below:
>
>  data DataType = StringT
>                | IntT
>                | CharT
>
>  parse :: [(String,DataType)] -> (TypeA, TypeB, ... TypeN)
>
> Example:
>
>  parse [("string", StringT), ("001", IntT), ("c", CharT)]
>
> will return:
>
>  ("string", 001, 'c')
>
> So how to use TH write 'parse' function?

I think that you should use TH properly, without compiler and logical errors.

What actually do you want?

I think that parse should have type (parse :: [(String, DataType)] -> Q Exp).

I think that OverloadedStrings extension should serve you as well.