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 |