Quantcast

[GHC] #6055: panic: ctFlavId: derived constraint cannot have id

classic Classic list List threaded Threaded
5 messages Options
GHC
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[GHC] #6055: panic: ctFlavId: derived constraint cannot have id

GHC
#6055: panic: ctFlavId: derived constraint cannot have id
--------------------------------+-------------------------------------------
 Reporter:  Lemming             |          Owner:                        
     Type:  bug                 |         Status:  new                    
 Priority:  normal              |      Component:  Compiler (Type checker)
  Version:  7.5                 |       Keywords:                        
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple      
  Failure:  Compile-time crash  |       Testcase:                        
Blockedby:                      |       Blocking:                        
  Related:                      |  
--------------------------------+-------------------------------------------
 When trying to check, whether GHC-7.5 still suffers from #5970 I found
 another bug: When I compile the attached module I get the type error:
 {{{
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.5.20120426 for i386-unknown-linux):
         ctFlavId: derived constraint cannot have id
     pty   = llvm-extra-0.4:LLVM.Extra.Extension.X86.Add'{tc rj}
               llvm-extra-0.4:LLVM.Extra.Extension.X86.D1{tc ri}
               llvm-extra-0.4:LLVM.Extra.Extension.X86.D1{tc ri}
               llvm-extra-0.4:LLVM.Extra.Extension.X86.D2{tc rh}

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}
 I tried hard to simplify the example and to remove all dependencies (llvm,
 type-level), but the test case is still rather involved.

 Unfortunately it is again a problem with functional dependencies and I
 want to get rid of them anyway, but instead switching to type families and
 then to type level natural numbers I prefer to switch to type level
 numbers immediately.

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6055>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
GHC
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [GHC] #6055: panic: ctFlavId: derived constraint cannot have id

GHC
#6055: panic: ctFlavId: derived constraint cannot have id
--------------------------------+-------------------------------------------
 Reporter:  Lemming             |          Owner:                        
     Type:  bug                 |         Status:  new                    
 Priority:  normal              |      Component:  Compiler (Type checker)
  Version:  7.5                 |       Keywords:                        
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple      
  Failure:  Compile-time crash  |       Testcase:                        
Blockedby:                      |       Blocking:                        
  Related:                      |  
--------------------------------+-------------------------------------------

Comment(by dimitris):

 My bad, I know what is going on. It's a silly mistake (but I am amazed our
 testsuite did not show this yet!). I will push the fix and add the
 testsuite in a couple of hours. Many thanks for this testcase!

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6055#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
GHC
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [GHC] #6055: panic: ctFlavId: derived constraint cannot have id

GHC
In reply to this post by GHC
#6055: panic: ctFlavId: derived constraint cannot have id
--------------------------------+-------------------------------------------
 Reporter:  Lemming             |          Owner:                        
     Type:  bug                 |         Status:  new                    
 Priority:  normal              |      Component:  Compiler (Type checker)
  Version:  7.5                 |       Keywords:                        
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple      
  Failure:  Compile-time crash  |       Testcase:                        
Blockedby:                      |       Blocking:                        
  Related:                      |  
--------------------------------+-------------------------------------------
Changes (by mikhail.vorozhtsov):

 * cc: mikhail.vorozhtsov@… (added)


--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6055#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
GHC
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [GHC] #6055: panic: ctFlavId: derived constraint cannot have id

GHC
In reply to this post by GHC
#6055: panic: ctFlavId: derived constraint cannot have id
--------------------------------+-------------------------------------------
 Reporter:  Lemming             |          Owner:                        
     Type:  bug                 |         Status:  new                    
 Priority:  normal              |      Component:  Compiler (Type checker)
  Version:  7.5                 |       Keywords:                        
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple      
  Failure:  Compile-time crash  |       Testcase:                        
Blockedby:                      |       Blocking:                        
  Related:                      |  
--------------------------------+-------------------------------------------

Comment(by simonpj@…):

 commit 081ee177f3727a4c1bfad5897cab51e30c209521
 {{{
 Author: Simon Peyton Jones <[hidden email]>
 Date:   Mon Apr 30 16:20:01 2012 +0100

     Egregious typo (fixes Trac #6055)

  compiler/typecheck/TcInteract.lhs |    2 +-
  1 files changed, 1 insertions(+), 1 deletions(-)
 }}}

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6055#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
GHC
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [GHC] #6055: panic: ctFlavId: derived constraint cannot have id

GHC
In reply to this post by GHC
#6055: panic: ctFlavId: derived constraint cannot have id
---------------------------------------------+------------------------------
  Reporter:  Lemming                         |          Owner:                  
      Type:  bug                             |         Status:  closed          
  Priority:  normal                          |      Milestone:                  
 Component:  Compiler (Type checker)         |        Version:  7.5            
Resolution:  fixed                           |       Keywords:                  
        Os:  Unknown/Multiple                |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash              |     Difficulty:  Unknown        
  Testcase:  typecheck/should_compile/T6055  |      Blockedby:                  
  Blocking:                                  |        Related:                  
---------------------------------------------+------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed
  * testcase:  => typecheck/should_compile/T6055


--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6055#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Loading...