Agda-2.3.2.2: test/fail/ParseForallAbsurd.err

ParseForallAbsurd.agda:5,22-22
ParseForallAbsurd.agda:5,22:
Parse error )<ERROR> -> Set1 parseFails x = Set --...