Agda-2.3.2.2: test/fail/NotAModuleExpr.err

NotAModuleExpr.agda:5,14-14
NotAModuleExpr.agda:5,14: Parse
error \<ERROR> x -> x ...