testsuite/tests/ghc-regress/th/T3177a.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{- LANGUAGE TemplateHaskell #-}

-- Template Haskell type splices
-- Should fail, with a decent error message

module T3177a where

f :: $(id [t| Int Int |])
f = 3

g :: Int Int
g = 3