[GHC] #11287: Visible type application: ASSERT failed! file compiler/typecheck/TcMatches.hs

#11287: Visible type application: ASSERT failed! file compiler/typecheck/TcMatches.hs -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: th/T7681 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Validate on Travis (in the configuration that defines `GhcStage2HcOpts += -DDEBUG`) [https://s3.amazonaws.com/archive.travis- ci.org/jobs/98713762/log.txt reports] , since 2db18b8135335da2da9918b722699df684097be9: {{{ Compile failed (status 256) errors were: ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.11.20151224 for x86_64-unknown-linux): ASSERT failed! file compiler/typecheck/TcMatches.hs, line 223 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *** unexpected failure for T7681(normal) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11287 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#11287: Visible type application: ASSERT failed! file
compiler/typecheck/TcMatches.hs
-------------------------------------+-------------------------------------
Reporter: thomie | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Compiler | Version: 7.11
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case: th/T7681
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Thomas Miedema

#11287: Visible type application: ASSERT failed! file
compiler/typecheck/TcMatches.hs
-------------------------------------+-------------------------------------
Reporter: thomie | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.0.1
Component: Compiler | Version: 7.11
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case: th/T7681
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Richard Eisenberg

#11287: Visible type application: ASSERT failed! file compiler/typecheck/TcMatches.hs -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: th/T7681 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * resolution: => fixed Comment: Thanks for finding this, @thomie, and for making such a perspicuous bug title for me to find. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11287#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC