[Haskell-cafe] Re: A thought about liberating Haskell's syntax

[Simon Peyton-Jones]

Type splices are implemented in the upcoming GHC 6.10.

Simon

| -----Original Message-----
| From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at 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 at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-cafe