[GHC] #9216: hiding imports doesn't seem to check if an import exists

[GHC]

#9216: hiding imports doesn't seem to check if an import exists
--------------------------+------------------------------------------------
       Reporter:  flazz   |             Owner:
           Type:  bug     |            Status:  new
       Priority:  normal  |         Milestone:
      Component:          |           Version:  7.6.3
  Compiler                |  Operating System:  Unknown/Multiple
       Keywords:  import  |   Type of failure:  GHC accepts invalid program
  hiding                  |         Test Case:
   Architecture:          |          Blocking:
  Unknown/Multiple        |
     Difficulty:          |
  Unknown                 |
     Blocked By:          |
Related Tickets:          |
--------------------------+------------------------------------------------
 {{{
 module Main where
 import Prelude hiding (thisDoesNotExist0x1234) -- should it fail here?
 main = putStrLn "hiya"
 }}}

 This seems to interpret just fine in ghci and compile fine in ghc – it
 seems that it shouldn't.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9216>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler