[GHC] #8672: :browse and roles on typefamilies

[GHC]

#8672: :browse and roles on typefamilies
-------------------------------------+-------------------------------------
       Reporter:  monoidal           |             Owner:
           Type:  bug                |            Status:  new
       Priority:  low                |         Milestone:
      Component:  Compiler (Type     |           Version:  7.7
  checker)                           |  Operating System:  Unknown/Multiple
       Keywords:                     |   Type of failure:  Incorrect
   Architecture:  Unknown/Multiple   |  warning at compile-time
     Difficulty:  Unknown            |         Test Case:
     Blocked By:                     |          Blocking:
Related Tickets:                     |
-------------------------------------+-------------------------------------
 :browse on `ghci tests/ghci.debugger/scripts/T8557.hs` outputs a weird
 looking line:

 {{{
 type role Sing nominal
 data family Sing (a :: k)
 type role T8557.R:Sing[]a nominal   <--
 data instance Sing a = SNil
 }}}

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