[GHC] #13071: GHCi 8.0.1 panic with PatternSynonyms

[GHC]

#13071: GHCi 8.0.1 panic with PatternSynonyms
-------------------------------+----------------------------------------
        Reporter:  taktoa      |                Owner:
            Type:  bug         |               Status:  new
        Priority:  normal      |            Milestone:
       Component:  GHCi        |              Version:  8.0.1
      Resolution:              |             Keywords:  PatternSynonyms
Operating System:  Linux       |         Architecture:  Unknown/Multiple
 Type of failure:  GHCi crash  |            Test Case:
      Blocked By:              |             Blocking:
 Related Tickets:              |  Differential Rev(s):
       Wiki Page:              |
-------------------------------+----------------------------------------

Comment (by taktoa):

 I don't have easy access to GHC 8.0.2 (I'm on NixOS), but I tried it with
 GHC HEAD and the problem seems to be solved:

 {{{
 ~ $ /nix/store/0sww5ii70bn8b8w3g8lszqn7pwxl4axs-ghc-8.1.20160930/bin/ghci
 Broken.hs
 GHCi, version 8.1.20160930: http://www.haskell.org/ghc/  :? for help
 [1 of 1] Compiling Main             ( Broken.hs, interpreted )
 Ok, modules loaded: Main.
 *Main>
 Leaving GHCi.
 }}}

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