id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4949,TH typechecking regression,igloo,igloo,"The 7.0 branch (and HEAD) behaves differently to 7.0.1 on this modules:
{{{
{-# LANGUAGE TemplateHaskell #-}
module Foo where

import Language.Haskell.TH

x :: Int
x = let args = [| show $(varE (mkName ""x"")) |]
    in undefined
}}}

7.0.1 accepted it, while we now get:
{{{
Foo.hs:7:19:
    Ambiguous type variable `a0' in the constraint:
      (Show a0) arising from a use of `show'
    Probable fix: add a type signature that fixes these type variable(s)
    In the Template Haskell quotation [| show ($(varE (mkName ""x""))) |]
    In the expression: [| show ($(varE (mkName ""x""))) |]
    In an equation for `args': args = [| show ($(varE (mkName ""x""))) |]
}}}

This affects these packages:
{{{
CCA
Printf-TH
grammar-combinators
hacanon-light
hamlet
rowrecord
th-lift
web-routes-quasi
}}}
",bug,closed,highest,7.0.2,Compiler (Type checker),7.0.1,fixed,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,,th/T4949,,,