2009/9/29 Simon Peyton-Jones
<simonpj@microsoft.com>
Type splices are implemented in the upcoming GHC 6.10.
Simon
| -----Original Message-----
| From: haskell-cafe-bounces@haskell.org [mailto:haskell-cafe-bounces@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:
|
| 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 places to allow:
|
| x :: {Int}
| x = {1,2,3,4}
|
| isSetEmpty :: {a} → Bool
| isSetEmpty {} = True
| isSetEmpty _ = False
| _______________________________________________
| Haskell-Cafe mailing list
| Haskell-Cafe@haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe