Re: [GHC] #13963: Runtime representation confusingly displayed

14 Sep 2017

      #13963: Runtime representation confusingly displayed
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  TypeInType,
                                     |  LevityPolymorphism
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari ):

 In [changeset:"8f99cd67262a67c46ed1af952003486825e0e9f7/ghc" 8f99cd6/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="8f99cd67262a67c46ed1af952003486825e0e9f7"
 Fix #13963.

 This commit fixes several things:

 1. RuntimeRep arg suppression was overeager for *visibly*-quantified
 RuntimeReps, which should remain.

 2. The choice of whether to used a Named TyConBinder or an anonymous
 was sometimes wrong. Now, we do an extra little pass right before
 constructing the tycon to fix these.

 3. TyCons that normally cannot appear unsaturated can appear unsaturated
 in :kind. But this fact was not propagated into the type checker.
 It now is.
 }}}

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