Re: [GHC] #3177: support quasiquoting for types

2009-05-29 Thread GHC
#3177: support quasiquoting for types
-+--
Reporter:  claus |Owner:  
Type:  feature request   |   Status:  closed  
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.11
Severity:  normal|   Resolution:  fixed   
Keywords:|   Difficulty:  Unknown 
Testcase:  th/T3177, T3177a  |   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonpj):

  * testcase:  = th/T3177, T3177a
  * status:  new = closed
  * resolution:  = fixed

Comment:

 OK, I've added a couple of tests and am closing.

 Simon

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3177#comment:5
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] #3177: support quasiquoting for types

2009-05-24 Thread GHC
#3177: support quasiquoting for types
-+--
Reporter:  claus |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.11
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by igloo):

  * difficulty:  = Unknown
  * milestone:  = 6.12 branch

Comment:

 Quasi quotes as in the QuasiQuotes extension, not TemplateHaskell (which
 already has them), I assume.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3177#comment:1
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] #3177: support quasiquoting for types

2009-05-24 Thread GHC
#3177: support quasiquoting for types
-+--
Reporter:  claus |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.11
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Comment (by claus):

 Replying to [comment:1 igloo]:
  Quasi quotes as in the QuasiQuotes extension,

 Yes. The example uses TH-generation of type synonyms as a (partial)
 workaround - what is needed instead is the ability to say things like
 {{{
 instance HasField () label [$l| TFalse |]

 label = [$l| myLabel |] :: [$l| myLabel |]
 }}}

  not TemplateHaskell (which already has them), I assume.

 Whatever makes you think so? See the related ticket I linked to (reported
 by someone you might know?-).

 The [http://www.haskell.org/ghc/docs/latest/html/users_guide/template-
 haskell.html TH documentation] is rather confusing there, as 7.9.1 first
 describes the syntax for type quotations, and only later states that type
 splices aren't implemented.. (unless #1476 has been fixed without closing,
 the documentation should probably point to it)

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3177#comment:2
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] #3177: support quasiquoting for types

2009-05-24 Thread GHC
#3177: support quasiquoting for types
-+--
Reporter:  claus |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  Compiler  |  Version:  6.11
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Comment (by igloo):

 Right, with TH you can quasi-quote types (e.g. `[t| Int |]`), but can't
 splice them in.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3177#comment:3
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] #3177: support quasiquoting for types

2009-04-19 Thread GHC
#3177: support quasiquoting for types
-+--
Reporter:  claus |  Owner:  
Type:  feature request   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  6.11  |   Severity:  normal  
Keywords:|   Testcase:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-+--
 Currently, quasiquotes are limited to patterns and expressions, though
 patterns and expressions with explicit type signatures can be generated
 (with appropriate language flag for pattern signatures).

 Since so much of Haskell programming happens at the type level, it would
 be great if quasiquoting wasn't excluded from that part of the game (think
 type-level numbers, for instance, or any type-level library that requires
 constants translated into types).

 For just one example, see http://www.haskell.org/pipermail/haskell-
 cafe/2009-April/059819.html , where I would like to be able to specify
 label types and type tags directly at the type-level as well.

 related: #1476 (Template Haskell won't address this in the near future, so
 having quasiquotes for types would narrow the gap)

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3177
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