idris-0.9.19: test/syntax001/SyntaxOk.idr

module SyntaxOk

syntax "fnord" [y] = y + y + y