Test tc253 doesn't pass with reversed uniques
It fails with:
tc253.hs:23:7: error:
• Couldn't match type ‘Maybe Int’ with ‘(String, Bool)’
Expected type: Maybe Int -> (String, Int) -> Maybe Int
Actual type: Fam Int Bool -> Fam Int Int -> Fam Int Bool
• In the expression: inc (undefined :: Int)
In an equation for ‘foo’: foo = inc (undefined :: Int)
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=tc253
I suspect this is related to #11148 (closed) since the symptoms are similar.
Trac metadata
Trac field | Value |
---|---|
Version | 8.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | goldfire, simonmar, simonpj |
Operating system | |
Architecture |