summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/TH_unresolvedInfix2.hs
blob: be58549d91a1703c3ffe6c045a90f1d4c65cc807 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
{-# 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) )