16 Jun
2007
16 Jun
'07
9:27 a.m.
und n = AppE (VarE (mkName "show")) (SigE (VarE (mkName "undefined")) (ForallT [n] [] (VarT n))) -- undefined :: typePara
using ForallT [] [] (... works fine. So this seems to be a th [| |] parser issue? I'll move this to the ghc mailinglist. (Thanks to Heffalump on #haskell) Marc Weber