Problems with Template Haskell

Template Haskell seems to be type-checking some quasi-quotes, even when they
are not going to be used.  This is of course a terrible nuisance, since it
means it can't be used to work around interface incompatibilities between
libraries for different versions of GHC (such as the recent change in
RegexString.matchRegexAll's type).  Maybe I will have to go back to using
cpp ...

For example, the attached file fails to compile.


# ghc TestSplice.hs -c -fglasgow-exts
>
> TestSplice.hs:7:
>     Couldn't match `f a' against `Bool'
>       Expected type: f a
>       Inferred type: Bool
>     In the second argument of `fmap', namely `True'
>     In the definition of `TestSplice.p': TestSplice.p = fmap id True

This occurs for both ghc 6.0.1 and the recent snapshot  6.3.20031201



Another problem is that Template Haskell objects to undefined variables in
unused splices.  Thus if I replace "p = fmap id True" in the
attached file by "foo = bar", I get "TestSplice2.hs:7: Variable not in scope: 
`bar'"

module TestSplice where

$(
   if False
      then
         [d|
            p = fmap id True
         |]
      else
         [d|
            d = 2
         |]
   )module TestSplice where

$(
   if False
      then
         [d|
            foo = bar
         |]
      else
         [d|
            d = 2
         |]
   )_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs