Agda-2.3.2.2: test/fail/MultipleFixityDecl.agda

module MultipleFixityDecl where

infixl 40 _+_
infixr 60 _+_

_+_ : Set -> Set -> Set
A + B = A