ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/TH_unresolvedInfix2.hs

{-# LANGUAGE TemplateHaskell #-}
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) )