Agda-2.3.2.2: test/fail/ComplexIMPORT.err

ComplexIMPORT.agda:3,20-20
ComplexIMPORT.agda:3,20: Parse
error as<ERROR> P #-} ...