blob: ebdc7f80c02bd92471cc2155306dc5168beffa7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TemplateHaskell #-}
module T18097 where
import Language.Haskell.TH
import GHC.Tuple
f = case $( tupE [ [| "ok" |] ] ) of MkSolo x -> putStrLn x
g = case MkSolo "ok" of $( tupP [ [p| x |] ] ) -> putStrLn x
h :: $( tupleT 1 ) String
h = MkSolo "ok"
i :: Solo String
i = $( tupE [ [| "ok" |] ] )
|
