:browse and roles on typefamilies
: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 = SNilTrac metadata
| Trac field | Value |
|---|---|
| Version | 7.7 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | goldfire |
| Operating system | |
| Architecture |