Commit 32bdc52e authored by Ian Lynagh's avatar Ian Lynagh

Remove the haskell98 dependency from some renamer fail tests

parent 96b4ce93
-- !!! Check that 'qualified' doesn't bring the unqual'ed name into scope.
module ShouldFail where
import qualified List as L ( intersperse )
import qualified Data.List as L ( intersperse )
x = L.intersperse
......
rnfail022.hs:8:5:
Not in scope: `intersperse'
Perhaps you meant `L.intersperse' (imported from List)
Perhaps you meant `L.intersperse' (imported from Data.List)
-- !!! conflicting exports for a function name
module ShouldFail ( List.map, module ShouldFail ) where
import qualified List
module ShouldFail ( Data.List.map, module ShouldFail ) where
import qualified Data.List
map = undefined
rnfail029.hs:2:31:
rnfail029.hs:2:36:
Conflicting exports for `map':
`List.map' exports `List.map' imported from List at rnfail029.hs:3:1-21
`Data.List.map' exports `Data.List.map' imported from Data.List at rnfail029.hs:3:1-26
`module ShouldFail' exports `ShouldFail.map' defined at rnfail029.hs:4:1
-- !!! check that unqualified imports don't bring qualified names into scope
module ShouldFail ( List.map ) where
import List ()
module ShouldFail ( Data.List.map ) where
import Data.List ()
rnfail030.hs:2:21: Not in scope: `List.map'
rnfail030.hs:2:21: Not in scope: `Data.List.map'
-- !!! check that qualified imports can be restricted to certain names
module ShouldFail ( List.map ) where
import qualified List ( foldr )
module ShouldFail ( Data.List.map ) where
import qualified Data.List ( foldr )
rnfail031.hs:2:21: Not in scope: `List.map'
rnfail031.hs:2:21: Not in scope: `Data.List.map'
-- !!! check that hiding works with qualified imports
module ShouldFail ( List.map ) where
import qualified List hiding ( map )
module ShouldFail ( Data.List.map ) where
import qualified Data.List hiding ( map )
rnfail032.hs:2:21:
Not in scope: `List.map'
Perhaps you meant `List.zip' (imported from List)
Not in scope: `Data.List.map'
Perhaps you meant one of these:
`Data.List.zip' (imported from Data.List),
`Data.List.sum' (imported from Data.List),
`Data.List.all' (imported from Data.List)
-- !!! check that hiding on an unqualified import also hides the qualified name
module ShouldFail ( List.map ) where
import List hiding ( map )
module ShouldFail ( Data.List.map ) where
import Data.List hiding ( map )
rnfail033.hs:2:21:
Not in scope: `List.map'
Perhaps you meant `List.zip' (imported from List)
Not in scope: `Data.List.map'
Perhaps you meant one of these:
`Data.List.zip' (imported from Data.List),
`Data.List.sum' (imported from Data.List),
`Data.List.all' (imported from Data.List)
-- !!! It is now illegal to import a module hiding
-- !!! an entity that it doesn't export
module ShouldCompile where
import List hiding ( wibble )
import Data.List hiding ( wibble )
rnfail038.hs:4:22: Module `List' does not export `wibble'
rnfail038.hs:4:27: Module `Data.List' does not export `wibble'
-- This one should fail, because it exports
-- both List:nub and Rnfail040_A:nub
-- This one should fail, because it exports
-- both Data.List:nub and Rnfail040_A:nub
--
-- List:nub is in scope as M.nub and nub
-- Rnfail040_A:nub is in scope as T.nub, M.nub, and nub
-- Data.List:nub is in scope as M.nub and nub
-- Rnfail040_A:nub is in scope as T.nub, M.nub, and nub
module M1 (module M) where
import qualified Rnfail040_A as M -- M.nub
import List as M -- M.nub nub
import Rnfail040_A as T -- T.nub nub
import qualified Rnfail040_A as M -- M.nub
import Data.List as M -- M.nub nub
import Rnfail040_A as T -- T.nub nub
rnfail040.hs:7:12:
Conflicting exports for `nub':
`module M' exports `M.nub' imported from List at rnfail040.hs:10:2-17
`module M' exports `M.nub' imported from Data.List at rnfail040.hs:10:2-22
`module M' exports `T.nub' imported from Rnfail040_A at rnfail040.hs:11:2-24
(defined at Rnfail040_A.hs:2:3)
......@@ -4,7 +4,7 @@
module RnFail049 where
import List(inits, tails)
import Data.List(inits, tails)
functions :: [forall a. [a] -> [[a]]]
functions = [inits, tails]
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment