Agda-2.3.2.2: test/fail/UnknownNameInFixityDecl.agda

module UnknownNameInFixityDecl where

infix 40 _+_
infixr 60 _*_