testsuite/tests/th/T21920.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -fdefer-type-errors #-}
module Main where

import Language.Haskell.TH.Syntax

p :: Bool
p = $(const [| True |] ('a' + 'a'))

q :: Bool
q = $$(const [|| True ||] ('a' + 'a'))

main = print (p, q)