sorry – 6.12
From: haskell-cafe-boun...@haskell.org
[mailto:haskell-cafe-boun...@haskell.org] On Behalf Of Rafael Gustavo da Cunha
Pereira Pinto
Sent: 29 September 2009 13:59
To: Simon Peyton-Jones
Cc: Haskell Café
Subject: Re: [Haskell-cafe] Re: A thought about liberating Haskell's syntax
un...@haskell.org] On
> | Behalf Of George Pollard
> | Sent: 16 September 2009 13:45
> | To: Haskell Café
> | Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax
> |
> | Also (sorry for the triple-post!) I noticed that in the TH
> | documentation, it says:
&g
Type splices are implemented in the upcoming GHC 6.10.
Simon
| -Original Message-
| From: haskell-cafe-boun...@haskell.org
[mailto:haskell-cafe-boun...@haskell.org] On
| Behalf Of George Pollard
| Sent: 16 September 2009 13:45
| To: Haskell Café
| Subject: [Haskell-cafe] Re: A thought
te:
From: George Pollard
Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax
To: "Haskell Café"
Date: Wednesday, September 16, 2009, 5:44 AM
Also (sorry for the triple-post!) I noticed that in the TH
documentation, it says:
Type splices are not implemente
Also (sorry for the triple-post!) I noticed that in the TH
documentation, it says:
Type splices are not implemented, and neither are pattern splices
This means, while we could write a preprocessor that would give us, e.g.:
x :: Set Int
x = {1,2,3,4}
We cannot splice in the right pla
Oh, and output is as expected:
> ./test
(1,2,3)
1
(1,(2,3))
((1,2),3)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Just occurred to me that you can actually do this with a preprocessor.
If we extract the "template" declarations to a separate module, then
it can happen something like this (I have corrected some errors in the
above code):
main.hs
import Language.Haskell.TH
import QList
import Control.