blob: 2f905d9627927abd50503a50a1e38e50a5c3bcec (
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 Solo x -> putStrLn x
g = case Solo "ok" of $( tupP [ [p| x |] ] ) -> putStrLn x
h :: $( tupleT 1 ) String
h = Solo "ok"
i :: Solo String
i = $( tupE [ [| "ok" |] ] )
|
