blob: c50ac8de7991ad7e6d77ea4f03f56ac9aefef244 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
module THSpliceType where
import Language.Haskell.TH
foo :: Q Exp
foo =
let myType = [t| Int |]
in [| id @ $myType |]
|