#10341: hs-boot files can have bogus declarations if they're not exported -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.11 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: GHC accepts | Test Case: invalid program | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Description changed by simonpj: Old description:

Consider:

{{{ -- A.hs-boot module A(foo) where data A = AC { bar :: Int } | CC -- B.hs module B where import {-# SOURCE #-} A -- A.hs module A(foo) where import B data A = AC { foo :: Int } | BC }}}

GHC won't complain that `A` is incompatibly defined, since it's not exported.

Seems relatively harmless though.

New description: Consider: {{{ -- A.hs-boot module A(foo) where foo :: A -> Int data A = AC { bar :: Int } | CC -- NB: A is not exported -- B.hs module B where import {-# SOURCE #-} A -- A.hs module A(foo) where import B data A = AC { foo :: Int } | BC }}} GHC won't complain that `A` is incompatibly defined, since it's not exported. Seems relatively harmless though. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10341#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler