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

29 Sep 2009


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

Regards,

Rafael

2009/9/29 Simon Peyton-Jones 
...
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
-- 
Rafael Gustavo da Cunha Pereira Pinto