testsuite/tests/th/TH_unresolvedInfix2.hs


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

module TH_unresolvedInfix2 where

import Language.Haskell.TH

infixl 6 :+

data Tree = N
  | Tree :+ Tree 
  | Tree :* Tree 

$(return [])

-- Should fail
expr = $( let plus = conE '(:+)
              n = conE 'N
          in infixE Nothing plus (Just $ uInfixE n plus n) )