headers
GHC | 22 Jun 2012 09:08
Favicon

#7023: Panic when compiling with -fdefer-type-errors

#7023: Panic when compiling with -fdefer-type-errors
--------------------------------+-------------------------------------------
 Reporter:  guest               |          Owner:                
     Type:  bug                 |         Status:  new           
 Priority:  normal              |      Component:  Compiler      
  Version:  7.5                 |       Keywords:                
       Os:  MacOS X             |   Architecture:  x86_64 (amd64)
  Failure:  Compile-time crash  |       Testcase:                
Blockedby:                      |       Blocking:                
  Related:                      |  
--------------------------------+-------------------------------------------
 Running 7.5.20120621

 Compiling attached program causes panic.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7023>
Permalink | Reply |
headers
GHC | 22 Jun 2012 09:11
Favicon

Re: #7023: Panic when compiling with -fdefer-type-errors

#7023: Panic when compiling with -fdefer-type-errors
--------------------------------+-------------------------------------------
 Reporter:  guest               |          Owner:                
     Type:  bug                 |         Status:  new           
 Priority:  normal              |      Component:  Compiler      
  Version:  7.5                 |       Keywords:                
       Os:  MacOS X             |   Architecture:  x86_64 (amd64)
  Failure:  Compile-time crash  |       Testcase:                
Blockedby:                      |       Blocking:                
  Related:                      |  
--------------------------------+-------------------------------------------

Comment(by guest):

 Sorry about the guest posting, signup seems to be down (just time'd out)
 I'll CC myself when I can get an account.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7023#comment:1>
Permalink | Reply |
headers
GHC | 25 Jun 2012 15:14
Favicon

Re: #7023: Panic when compiling with -fdefer-type-errors

#7023: Panic when compiling with -fdefer-type-errors
--------------------------------+-------------------------------------------
 Reporter:  guest               |          Owner:                  
     Type:  bug                 |         Status:  new             
 Priority:  normal              |      Component:  Compiler        
  Version:  7.5                 |       Keywords:                  
       Os:  MacOS X             |   Architecture:  Unknown/Multiple
  Failure:  Compile-time crash  |       Testcase:                  
Blockedby:                      |       Blocking:                  
  Related:                      |  
--------------------------------+-------------------------------------------
Changes (by dreixel):

  * architecture:  x86_64 (amd64) => Unknown/Multiple

Comment:

 I can confirm this. Compilation fails with:
 {{{
 ghc-stage2: panic! (the 'impossible' happened)
   (GHC version 7.5 for i386-unknown-linux):
         cgLookupPanic (probably invalid Core; try -dcore-lint)
     cobox{v ahw} [lid]
     static binds for:
     local binds for:
 }}}

 `-dcore-lint` gives us:
 {{{
 [1 of 1] Compiling Main             ( Bug.hs, Bug.o )
(Continue reading)

Permalink | Reply |
headers
GHC | 25 Jun 2012 15:51
Favicon

Re: #7023: Panic when compiling with -fdefer-type-errors

#7023: Panic when compiling with -fdefer-type-errors
---------------------------------+------------------------------------------
    Reporter:  guest             |       Owner:  simonpj           
        Type:  bug               |      Status:  new               
    Priority:  normal            |   Milestone:                    
   Component:  Compiler          |     Version:  7.5               
    Keywords:                    |          Os:  MacOS X           
Architecture:  Unknown/Multiple  |     Failure:  Compile-time crash
  Difficulty:  Unknown           |    Testcase:                    
   Blockedby:                    |    Blocking:                    
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by simonpj):

  * owner:  => simonpj
  * difficulty:  => Unknown

Comment:

 I'll investigate.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7023#comment:3>
Permalink | Reply |
headers
GHC | 14 Jul 2012 14:30
Favicon

Re: #7023: Panic when compiling with -fdefer-type-errors

#7023: Panic when compiling with -fdefer-type-errors
---------------------------------+------------------------------------------
    Reporter:  guest             |       Owner:  simonpj           
        Type:  bug               |      Status:  new               
    Priority:  normal            |   Milestone:                    
   Component:  Compiler          |     Version:  7.5               
    Keywords:                    |          Os:  MacOS X           
Architecture:  Unknown/Multiple  |     Failure:  Compile-time crash
  Difficulty:  Unknown           |    Testcase:                    
   Blockedby:                    |    Blocking:                    
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by simonpj <at> …):

 commit c1f01e351759e7c25818b05e32bdb7b702dac6f2
 {{{
 Author: Simon Peyton Jones <simonpj <at> microsoft.com>
 Date:   Sat Jul 14 13:18:34 2012 +0100

     Do not discard insoluble constraints in simplifyInfer

     Before -fdefer-type-errors there we no insolubles
     (because we'd have failed before then), but with -fdefer-type-errors
     there can be.  The code is acutally a bit simpler: we just call
     emitConstraints, and eliminate the bogus-looking emitWC from
 TcRnMonad.

     There's a bit more tidying up to do, concerning the places we use
     keepWanted, but I need to talk to Dimitrios about that.
(Continue reading)

Permalink | Reply |
headers
GHC | 14 Jul 2012 14:31
Favicon

Re: #7023: Panic when compiling with -fdefer-type-errors

#7023: Panic when compiling with -fdefer-type-errors
-----------------------------------------+----------------------------------
  Reporter:  guest                       |          Owner:  simonpj         
      Type:  bug                         |         Status:  closed          
  Priority:  normal                      |      Milestone:                  
 Component:  Compiler                    |        Version:  7.5             
Resolution:  fixed                       |       Keywords:                  
        Os:  MacOS X                     |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash          |     Difficulty:  Unknown         
  Testcase:  typecheck/should_run/T7023  |      Blockedby:                  
  Blocking:                              |        Related:                  
-----------------------------------------+----------------------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => typecheck/should_run/T7023
  * resolution:  => fixed

Comment:

 Thanks!  The above patch fixes it.

 Simon

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7023#comment:5>
Permalink | Reply |

Gmane