Re: [GHC] #760: Template Haskell doesn't like scoped type variables

2006-06-22 Thread GHC 
#760: Template Haskell doesn't like scoped type variables
-+--
  Reporter:  [EMAIL PROTECTED]  |  Owner:  simonpj
  Type:  bug | Status:  new
  Priority:  normal  |  Milestone:  6.6
 Component:  Compiler|Version:  6.4.2  
  Severity:  normal  | Resolution: 
  Keywords:  | Os:  Linux  
Difficulty:  Unknown |   Architecture:  x86
-+--
Changes (by simonmar):

  * milestone:  = 6.6
  * owner:  = simonpj

Comment:

 We should fail more gracefully in this case (and perhaps when TH is used
 with other extensions that aren't supported with TH, too).

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/760
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #760: Template Haskell doesn't like scoped type variables

2006-05-05 Thread GHC 
#760: Template Haskell doesn't like scoped type variables
-+--
  Reporter:  [EMAIL PROTECTED]  |  Owner:   
  Type:  bug | Status:  new  
  Priority:  normal  |  Milestone:   
 Component:  Compiler|Version:  6.4.2
  Severity:  normal  | Resolution:   
  Keywords:  | Os:  Linux
Difficulty:  Unknown |   Architecture:  x86  
-+--
Comment (by [EMAIL PROTECTED]):

 Just for the record, it isn't just type signatures in patterns:
 {{{
 [EMAIL PROTECTED] stuff]$ cat R.hs
 $(id [d| f :: forall a . a - a
  f x = (x :: a) |])

 [EMAIL PROTECTED] stuff]$ ghc -fglasgow-exts -c R.hs
 ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
 Failed binder lookup: a{tv a189}
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/760
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #760: Template Haskell doesn't like scoped type variables

2006-05-04 Thread GHC 
#760: Template Haskell doesn't like scoped type variables
-+--
  Reporter:  [EMAIL PROTECTED]  |  Owner:   
  Type:  bug | Status:  new  
  Priority:  normal  |  Milestone:   
 Component:  Compiler|Version:  6.4.2
  Severity:  normal  | Resolution:   
  Keywords:  | Os:  Linux
Difficulty:  Unknown |   Architecture:  x86  
-+--
Comment (by simonpj):

 Template Haskell originally only supported Haskell 98, but various non-H98
 extensions have since been added.  Apparently, TH patterns can contain
 type signatures (I didn't know that), but there does not seem to be any
 support for lexical scoping of type variables.

 Since GHC itself is in a state of flux wrt lexically scoped type
 variables, I'm not going to fix this now. I would love some TH enthusiast
 to take it on.

 Meanwhile, just avoid type signatures in patterns.

 Simon

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/760
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #760: Template Haskell doesn't like scoped type variables

2006-05-02 Thread GHC 
#760: Template Haskell doesn't like scoped type variables
---+
Reporter:  [EMAIL PROTECTED]  |Owner: 
Type:  bug |   Status:  new
Priority:  normal  |Milestone: 
   Component:  Compiler|  Version:  6.4.2  
Severity:  normal  | Keywords: 
  Os:  Linux   |   Difficulty:  Unknown
Architecture:  x86 |  
---+
GHC panics is scoped type variables are used in [d| ... |]:
 {{{
 [EMAIL PROTECTED] stuff]$ cat R.hs
 $(id [d| f (x :: a) = x |])

 [EMAIL PROTECTED] stuff]$ ghc -fglasgow-exts -c R.hs
 ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
 Failed binder lookup: a{tv a18c}

 Please report this as a compiler bug.  See:
   http://www.haskell.org/ghc/reportabug
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/760
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs