{-# LANGUAGE TemplateHaskell #-}

-- Trac #2358

module ShouldFail where
import Language.Haskell.TH

x = $(sigE [|1|] (tupleT 1 `appT` conT ''Int))
        -- 1 :: (Int)   ( a 1-tuple type)

y = $(sigE [|1|] (tupleT 1))
        -- 1 :: (1)     (a 1-tuple tycon not applied)

z = $(tupE [ [| "yes" |] ])
        -- ("yes")      (a 1-tuple expression)