Agda-2.3.2.2: test/fail/MalformedModuleNameInIMPORT.agda

module MalformedModuleNameInIMPORT where

{-# IMPORT m #-}