testsuite/tests/th/TH_reifyLinear.hs


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

{-# LANGUAGE LinearTypes #-}
module TH_reifyLinear where

import Language.Haskell.TH
import System.IO

type T = Int %1 -> Int

$(
    do x <- reify ''T
       runIO $ hPutStrLn stderr $ pprint x
       return []
 )