testsuite/tests/th/T14681.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TemplateHaskell #-}
module T14681 where

import Data.Functor.Identity
import Language.Haskell.TH

$([d| f = \(Identity x) -> x |])
$([d| g = $(pure $ VarE '(+) `AppE` LitE (IntegerL (-1))
                             `AppE` (LitE (IntegerL (-1)))) |])