Agda-2.3.2.2: test/fail/ParseError.err

ParseError.agda:1,1-1
ParseError.agda:1,1: Parse
error modle<ERROR> ParseError where ...