Hmm... Simon, was it a typo? Is it 6.10.x or 6.12? Regards,
Rafael 2009/9/29 Simon Peyton-Jones <simo...@microsoft.com> > Type splices are implemented in the upcoming GHC 6.10. > > Simon > > | -----Original Message----- > | From: haskell-cafe-boun...@haskell.org [mailto: > haskell-cafe-boun...@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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe