T6137 doesn't pass with reversed uniques
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:
- 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
make TESTS=T6137
Trac metadata
Trac field | Value |
---|---|
Version | 8.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | goldfire, simonmar, simonpj |
Operating system | |
Architecture |