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

[Rafael Gustavo da Cunha Pereira Pinto]

Hmm... Simon, was it a typo? Is it 6.10.x or 6.12?

Regards,

Rafael

2009/9/29 Simon Peyton-Jones <simonpj at microsoft.com>

> 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
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>


-- 
Rafael Gustavo da Cunha Pereira Pinto
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090929/ebf7674a/attachment.html