Agda-2.3.2.2: test/fail/ComplexIMPORT.agda

module ComplexIMPORT where

{-# IMPORT Prelude as P #-}