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 |