testsuite/tests/th/T17688a.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}
module T17688a where

import Language.Haskell.TH
import System.IO

$( do ty <- [d| {-# SPECIALISE id :: forall a -> a -> a #-} |]
      runIO $ hPutStrLn stderr $ pprint ty
      return [] )