testsuite/tests/partial-sigs/should_compile/TypedSplice.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE NamedWildCards #-}
{-# LANGUAGE PartialTypeSignatures #-}
module TypedSplice where

import Language.Haskell.TH

metaExp :: Q (TExp (Bool -> Bool))
metaExp = [|| not :: _ -> _b ||]