Hmm... Simon, was it a typo? Is it 6.10.x or 6.12?<br><br>Regards,<br><br>Rafael<br><br><div class="gmail_quote">2009/9/29 Simon Peyton-Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Type splices are implemented in the upcoming GHC 6.10.<br>
<br>
Simon<br>
<br>
| -----Original Message-----<br>
| From: <a href="mailto:haskell-cafe-bounces@haskell.org">haskell-cafe-bounces@haskell.org</a> [mailto:<a href="mailto:haskell-cafe-bounces@haskell.org">haskell-cafe-bounces@haskell.org</a>] On<br>
| Behalf Of George Pollard<br>
| Sent: 16 September 2009 13:45<br>
| To: Haskell Café<br>
| Subject: [Haskell-cafe] Re: A thought about liberating Haskell's syntax<br>
|<br>
| Also (sorry for the triple-post!) I noticed that in the TH<br>
| documentation, it says:<br>
|<br>
| Type splices are not implemented, and neither are pattern splices<br>
|<br>
| This means, while we could write a preprocessor that would give us, e.g.:<br>
|<br>
| x :: Set Int<br>
| x = {1,2,3,4}<br>
|<br>
| We cannot splice in the right places to allow:<br>
|<br>
| x :: {Int}<br>
| x = {1,2,3,4}<br>
|<br>
| isSetEmpty :: {a} → Bool<br>
| isSetEmpty {} = True<br>
| isSetEmpty _ = False<br>
| _______________________________________________<br>
| Haskell-Cafe mailing list<br>
| <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
| <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br>Rafael Gustavo da Cunha Pereira Pinto<br><br>