Re: [Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-28 Thread Reiner Pope
On Tue, Oct 28, 2008 at 9:44 PM, Niklas Broberg <[EMAIL PROTECTED]> wrote: > On Tue, Oct 28, 2008 at 7:56 AM, Reiner Pope <[EMAIL PROTECTED]> wrote: >> I've tried it out and it looks good so far. I had to fiddle with >> haskell-src-ext's .cabal file to get it to install with GHC 6.10, >> which is s

Re: [Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-28 Thread Niklas Broberg
On Tue, Oct 28, 2008 at 7:56 AM, Reiner Pope <[EMAIL PROTECTED]> wrote: > I've tried it out and it looks good so far. I had to fiddle with > haskell-src-ext's .cabal file to get it to install with GHC 6.10, > which is surprising since it isn't listed as a broken package... ah > well. Care to tell

Re: [Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-28 Thread Matt Morrow
Ooh, interesting. I'm going to look into this.. On 10/28/08, Reiner Pope <[EMAIL PROTECTED]> wrote: > Unfortunately, I've uncovered a problem in the parser. For instance, > with your module, [$hs|1+1*2|] evaluates to 4 rather than 3. This > seems to be a general problem with infix operators, which

Re: [Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-27 Thread Reiner Pope
I've tried it out and it looks good so far. I had to fiddle with haskell-src-ext's .cabal file to get it to install with GHC 6.10, which is surprising since it isn't listed as a broken package... ah well. I'm able to write code like this now: > foo x = [$vec|sin x, myFunc x, 4*5|] Since Haskell

Re: [Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-26 Thread Matt Morrow
I've just uploaded an alpha version of the translation to hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-meta-0.0.1 (I starting thinking after I uploaded that maybe haskell-src-th is a better name..) Here's one strategy for a haskell QQ:

Re: [Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-21 Thread Reiner Pope
It sounds like you're doing exactly what I'm looking for. I look forward to more. Reiner On Tue, Oct 21, 2008 at 4:28 PM, Matt Morrow <[EMAIL PROTECTED]> wrote: > > Is there a simple way to do this, i.e. using existing libraries? > > Yes indeed. I'll be traveling over the next two days, and am s

Re: [Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-20 Thread Matt Morrow
> Is there a simple way to do this, i.e. using existing libraries? Yes indeed. I'll be traveling over the next two days, and am shooting for a fully functional hackage release by mid next week. > What I need is a Haskell expression parser which outputs values of type > Language.Haskell.TH.Syntax.

[Haskell-cafe] Haskell syntax inside QuasiQuote

2008-10-20 Thread Reiner Pope
Hi, I have written a toy fixed-length-vector quasiquoter, so that you can write [$vec|1,2|] which has its type inferred as (Vec (S (S Z))) and you can write mkVec :: Double -> Vec (S (S (S Z))) mkVec x = [$vec|1,2,x|] However, these above examples essentially demonstrate the entire syntax it s