[GHC] #11362: T6137 doesn't pass with reversed uniques

6 Jan 2016

      #11362: T6137 doesn't pass with reversed uniques
-------------------------------------+-------------------------------------
           Reporter:  niteria        |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  GHC rejects
  Unknown/Multiple                   |  valid program
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 It fails with (full trace https://phabricator.haskell.org/P81):

 {{{
 *** Core Lint errors : in result of Tidy Core ***
 <no location info>: warning:
     [in body of lambda with binder dt_a18nYf :: In
                                                   f_a18o2M
                                                   (Sum1 r_a18o2L (In ('F
 f_a18o2M) r_a18o2L))
                                                   o_a18o2K]
     Kind application error in
       coercion ‘Sym
                   (TFCo:R:InioFro[0]
                      <o_a18nYC>_N <i_a18nYD>_N <f_a18o2M>_N) <r_a18o2L>_N
 <o_a18o2K>_N’
       Function kind = Code (Sum i_a18nYD o_a18nYC) o_a18nYC -> *
       Arg kinds = [(o_a18o2K, o_a18nYC)]
 <no location info>: warning:
     [in body of lambda with binder dt_a18nYf :: In
                                                   f_a18o2M
                                                   (Sum1 r_a18o2L (In ('F
 f_a18o2M) r_a18o2L))
                                                   o_a18o2K]
     Kind application error in
       coercion ‘Sym
                   (TFCo:R:InioFro[0]
                      <o_a18nYC>_N <i_a18nYD>_N <f_a18o2M>_N) <r_a18o2L>_N
 <o_a18o2K>_N’
       Function kind = Code (Sum i_a18nYD o_a18nYC) o_a18nYC -> *
       Arg kinds = [(o_a18o2K, o_a18nYC)]
 }}}

 Steps to reproduce:

 1. Add line
 `TEST_HC_OPTS += -dinitial-unique=16777000 -dunique-increment=-1`

 after line

 `TEST_HC_OPTS = -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output
 -no-user-$(GhcPackageDbFlag) -rtsopts $(EXTRA_HC_OPTS)`

 in `mk/test.mk`

 2. `make TESTS=T6137`

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