Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 5,249
    • Issues 5,249
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 580
    • Merge requests 580
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell CompilerGlasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #11648
Closed
Open
Issue created Feb 26, 2016 by Thomas Miedema@thomie

assertPprPanic, called at compiler/types/TyCoRep.hs:1932

As mentioned in https://mail.haskell.org/pipermail/ghc-devs/2016-February/011455.html, the following tests currently hit an assert when the compiler is built with -DDEBUG:

   patsyn/should_compile  MoreEx [exit code non-0] (normal)
   patsyn/should_compile  T11224b [exit code non-0] (normal)
   polykinds              MonoidsTF [exit code non-0] (normal)
   polykinds              T11480b [exit code non-0] (normal)
   polykinds              T11523 [exit code non-0] (normal)
Compile failed (status 256) errors were:
ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 8.1.20160218 for x86_64-unknown-linux):
ASSERT failed!
  CallStack (from HasCallStack):
  assertPprPanic, called at compiler/types/TyCoRep.hs:1932:56 in ghc:TyCoRep
  checkValidSubst, called at compiler/types/TyCoRep.hs:1991:17 in
ghc:TyCoRep
  substTys, called at compiler/types/TyCoRep.hs:2012:14 in ghc:TyCoRep
  substTheta, called at compiler/typecheck/TcPatSyn.hs:255:20 in
ghc:TcPatSyn
  in_scope InScope {d_ap0 c_apv}
  tenv [ap1 :-> c_apv[tau:5]]
  tenvFVs [aps :-> t_aps[tau:1], apv :-> c_apv[tau:5]]
  cenv []
  cenvFVs []
  tys []
  cos []

D1951 contained a stopgap patch, but since it wasn't accepted, I'll just mark the tests as expect_broken for this ticket, so that other developers aren't bothered by this issue.

The offending commit is b5292557.

Trac metadata
Trac field Value
Version 8.1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
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
Assignee
Assign to
Time tracking