SyntaxForOperators.err

SyntaxForOperators.agda:6,1-1
SyntaxForOperators.agda:6,1:
syntax declarations are allowed only for simple names (without
holes) <EOF><ERROR> ...