sorry – 6.12 From: haskell-cafe-bounces@haskell.org [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of Rafael Gustavo da Cunha Pereira Pinto Sent: 29 September 2009 13:59 To: Simon Peyton-Jones Cc: Haskell Café Subject: Re: [Haskell-cafe] Re: A thought about liberating Haskell's syntax Hmm... Simon, was it a typo? Is it 6.10.x or 6.12? Regards, Rafael 2009/9/29 Simon Peyton-Jones <simonpj@microsoft.com<mailto: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> [mailto: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<mailto:Haskell-Cafe@haskell.org> | http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org<mailto:Haskell-Cafe@haskell.org> http://www.haskell.org/mailman/listinfo/haskell-cafe -- Rafael Gustavo da Cunha Pereira Pinto