Re: [GHC] #9204: Conflicting definition in hs-boot file

7 Feb 2015

      #9204: Conflicting definition in hs-boot file
-------------------------------------+-------------------------------------
        Reporter:  Feuerbach         |                   Owner:  goldfire
            Type:  bug               |                  Status:  closed
        Priority:  normal            |               Milestone:
       Component:  Documentation     |                 Version:  7.8.2
      Resolution:  fixed             |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |  roles/should_fail/T9204
                                     |                Blocking:
                                     |  Differential Revisions:  Phab:D458
-------------------------------------+-------------------------------------

Comment (by phischu):

 In the following example the complete data declaration happens to be
 present in the hs-boot file:

 Foo.hs:
 {{{
 module Foo where

 import Bar

 data P a = P
 }}}

 Foo.hs-boot:
 {{{
 module Foo where

 data P a = P
 }}}
 Bar.hs:
 {{{
 module Bar where
 import {-# SOURCE #-} Foo
 }}}

 Could you now do role inference in the hs-boot file as well, so that the
 example compiles? My use-case is that I generate hs-boot files by copying
 whole declarations. Thank you.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9204#comment:8
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler