Re: [GHC] #3177: support quasiquoting for types
#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
#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
#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
#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
#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