blob: d1995e1cb5d9e08da832599adffe1c0c7d1d162a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
module Main where
import Foo
data T a = T a
deriving (Show)
main :: IO ()
main = do
let x = $$(foo @(T Int) [|| T 1 ||])
return ()
|