TcCoercible test is failing with context reduction stack overflow
Here is the error:
TcCoercible.hs:62:12:
Context reduction stack overflow; size = 21
Use -fcontext-stack=N to increase stack size to N
Coercible Int Int
In the expression: coerce
In the first argument of ‘print’, namely
‘(coerce $ (FixEither (Left age) :: FixEither Age) ::
Either Int (FixEither Int))’
In a stmt of a 'do' block:
print
(coerce $ (FixEither (Left age) :: FixEither Age) ::
Either Int (FixEither Int))
I do not know enough to know if bumping the stack size is correct.
Additionally, when run as GHCi I get:
=====> TcCoercible(ghci) 2784 of 3970 [0, 7, 0]
cd ./typecheck/should_run && '/home/hs01/ezyang/ghc-validate/inplace/bin/ghc-stage2' -fforce-re
comp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history Tc
Coercible.hs --interactive -v0 -ignore-dot-ghci +RTS -I0.1 -RTS <TcCoercible.genscript 1>TcCo
ercible.interp.stdout 2>TcCoercible.interp.stderr
Actual stderr output differs from expected:
--- /dev/null 2014-02-15 17:35:19.578872448 -0800
+++ ./typecheck/should_run/TcCoercible.run.stderr 2014-05-29 16:27:30.476701835 -0700
@@ -0,0 +1,2 @@
+
+TcCoercible:7:30: Not in scope: ‘Main.main’
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.9 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Test Suite |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |