[GHC] #10896: BadSock triggers failing ASSERT

[GHC]

#10896: BadSock triggers failing ASSERT
-------------------------------------+-------------------------------------
              Reporter:  ezyang      |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.11
  (Type checker)                     |
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 {{{
 --- ./indexed-types/should_fail/BadSock.stderr.normalised       2015-09-18
 20:44:48.437390831 +0000
 +++ ./indexed-types/should_fail/BadSock.comp.stderr.normalised  2015-09-18
 20:44:48.437390831 +0000
 @@ -1,5 +1,5 @@
 +ghc: panic! (the 'impossible' happened)
 +  (GHC version 7.11.20150918 for x86_64-unknown-linux):
 +       ASSERT failed! file compiler/typecheck/TcFlatten.hs, line 1041

 -BadSock.hs:30:5:
 -    The type family ‘Readable’ should have 1 argument, but has been
 given none
 -    In the equations for closed type family ‘Foo’
 -    In the type family declaration for ‘Foo’
 \ No newline at end of file
 +Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 \ No newline at end of file
 *** unexpected failure for BadSock(normal)
 }}}

 Haven't investigated any further.

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