testsuite/tests/th/T1541.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TemplateHaskell #-}
module T1541 where

$( [d|  infixr 3 +++
        (+++) :: Int -> Bool -> Bool
        (+++) x y = error "ruk"
   |])

-- This definition will only typecheck if the
-- the fixity of (+++) is infixr
foo p q r = p +++ q +++ r