[GHC] #14024: typechecker tests T13594 T13822 tc269 failing in devel2 flavour
GHC
ghc-devs at haskell.org
Sun Jul 23 21:23:43 UTC 2017
#14024: typechecker tests T13594 T13822 tc269 failing in devel2 flavour
-------------------------------------+-------------------------------------
Reporter: duog | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Test Suite | Version: 8.3
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Compile-time
Unknown/Multiple | crash or panic
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
The tests T13594 T13822 tc269 are failing for me with BuildFlavour=devel2.
They pass with BuildFlavour=validate.
I have had a brief look to see if I could fix, but this is beyond my
current capabilities.
There is a comment in tc269.hs saying that it doesn't typecheck, however
that looks to be out of date?
test output pasted below:
{{{
=====> tc269(normal) 1 of 3 [0, 0, 0]
cd "./typecheck/should_compile/tc269.run" && "/home/doug/ghc-
dev/devel2/inplace/bin/ghc-stage2" -c tc269.hs -dcore-lint -dcmm-lint -no-
user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-
groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-
output -fno-warn-incomplete-patterns
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 8.3.20170723 for x86_64-unknown-linux):
ASSERT failed!
in_scope InScope {k_aSm}
tenv [aRJ :-> k_aSm[sk:2]]
tenvFVs [aSg :-> k_aSg[tau:1], aSm :-> k_aSm[sk:2]]
cenv []
cenvFVs []
tys [k_aRJ[sk:1] -> *]
cos []
Call stack:
CallStack (from HasCallStack):
prettyCurrentCallStack, called at
compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
callStackDoc, called at compiler/utils/Outputable.hs:1188:22 in
ghc:Outputable
assertPprPanic, called at compiler/types/TyCoRep.hs:2089:56 in
ghc:TyCoRep
checkValidSubst, called at compiler/types/TyCoRep.hs:2122:29 in
ghc:TyCoRep
substTy, called at compiler/typecheck/TcCanonical.hs:673:36 in
ghc:TcCanonical
Call stack:
CallStack (from HasCallStack):
prettyCurrentCallStack, called at
compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in
ghc:Outputable
pprPanic, called at compiler/utils/Outputable.hs:1186:5 in
ghc:Outputable
assertPprPanic, called at compiler/types/TyCoRep.hs:2089:56 in
ghc:TyCoRep
checkValidSubst, called at compiler/types/TyCoRep.hs:2122:29 in
ghc:TyCoRep
substTy, called at compiler/typecheck/TcCanonical.hs:673:36 in
ghc:TcCanonical
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for tc269(normal)
=====> T13594(normal) 2 of 3 [0, 1, 0]
cd "./typecheck/should_compile/T13594.run" && "/home/doug/ghc-
dev/devel2/inplace/bin/ghc-stage2" -c T13594.hs -dcore-lint -dcmm-lint
-no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-
warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-
debug-output -fno-warn-incomplete-patterns
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 8.3.20170723 for x86_64-unknown-linux):
ASSERT failed!
{$trModule = Module (TrNameS "main"#) (TrNameS "Bug"#),
!x_a1o5 = (1, 2)}
[x]
Call stack:
CallStack (from HasCallStack):
prettyCurrentCallStack, called at
compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
callStackDoc, called at compiler/utils/Outputable.hs:1188:22 in
ghc:Outputable
assertPprPanic, called at compiler/deSugar/DsBinds.hs:89:71 in
ghc:DsBinds
Call stack:
CallStack (from HasCallStack):
prettyCurrentCallStack, called at
compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in
ghc:Outputable
pprPanic, called at compiler/utils/Outputable.hs:1186:5 in
ghc:Outputable
assertPprPanic, called at compiler/deSugar/DsBinds.hs:89:71 in
ghc:DsBinds
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for T13594(normal)
=====> T13822(normal) 3 of 3 [0, 2, 0]
cd "./typecheck/should_compile/T13822.run" && "/home/doug/ghc-
dev/devel2/inplace/bin/ghc-stage2" -c T13822.hs -dcore-lint -dcmm-lint
-no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-
warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-
debug-output -fno-warn-incomplete-patterns
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 8.3.20170723 for x86_64-unknown-linux):
ASSERT failed!
Bad coercion hole {a1bG}: (I (x_a19g |> Sym (Ty
(Sym cobox))_N) |>
D:R:IK[0])
(I (x_a19g |> Sym (Ty (Sym cobox))_N) |>
D:R:IK[0])
nominal
<(I (x_a19g |> Sym (Ty (Sym cobox))_N) |>
D:R:IK[0])>_N
I (x_a19g[ssk:3] |> Sym (Ty (Sym cobox))_N)
I (x_a19g[ssk:3] |> Sym (Ty (Sym cobox))_N)
nominal
Call stack:
CallStack (from HasCallStack):
prettyCurrentCallStack, called at
compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
callStackDoc, called at compiler/utils/Outputable.hs:1188:22 in
ghc:Outputable
assertPprPanic, called at compiler/typecheck/TcMType.hs:304:105 in
ghc:TcMType
Call stack:
CallStack (from HasCallStack):
prettyCurrentCallStack, called at
compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in
ghc:Outputable
pprPanic, called at compiler/utils/Outputable.hs:1186:5 in
ghc:Outputable
assertPprPanic, called at compiler/typecheck/TcMType.hs:304:105 in
ghc:TcMType
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for T13822(normal)
Unexpected results from:
TEST="T13594 T13822 tc269"
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14024>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list