Agda-2.3.2.2: test/fail/MalformedModuleNameInIMPORT.err

MalformedModuleNameInIMPORT.agda:4,1-1
MalformedModuleNameInIMPORT.agda:4,1:
Malformed module name: m. <EOF><ERROR> ...