[GHC] #2310: Panic in ghci 6.8.2 with -fglasgow-exts

GHC trac at galois.com
Wed Jun 4 11:31:39 EDT 2008


#2310: Panic in ghci 6.8.2 with -fglasgow-exts
--------------------+-------------------------------------------------------
 Reporter:  guest   |          Owner:  igloo      
     Type:  merge   |         Status:  new        
 Priority:  normal  |      Milestone:  6.10 branch
Component:  GHCi    |        Version:  6.8.2      
 Severity:  normal  |     Resolution:             
 Keywords:          |     Difficulty:  Unknown    
 Testcase:  T2310   |   Architecture:  x86        
       Os:  Linux   |  
--------------------+-------------------------------------------------------
Changes (by simonpj):

  * testcase:  => T2310
  * owner:  => igloo
  * type:  bug => merge

Comment:

 Ah.  You probably meant
 {{{
   c = \(x::a) -> (x::a)
 }}}
 The example you actually give (now in tests `rename/should_fail/T2310.hs`)
 is the old syntax for "result signatures", which isn't supported any more.

 Better error report in
 {{{
 Wed Jun  4 15:51:15 BST 2008  simonpj at microsoft.com
   * Fix Trac #2310: result type signatures are not supported any more
   }}}
 namely
 {{{
 T2310.hs:5:21:
     Illegal result type signature `a'
       Result signatures are no longer supported in pattern matches
     In a lambda abstraction: \ x :: a -> (x :: a)
 }}}
 Maybe worth merging, since it fixes a crash.

 Simon

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


More information about the Glasgow-haskell-bugs mailing list