testsuite/tests/rename/should_compile/T10816.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeOperators, TypeFamilies #-}
module T10816 where

class C a where
  type a # b
  infix 4 #

  type a *** b
  type a +++ b
  infixr 5 ***, +++
  (***), (+++) :: a -> a -> a