Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information