blob: ea1a1195ab34734eab8545b6741a4c15a6aadc8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# 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)
|
