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

George Pollard porges at porg.es
Wed Sep 16 08:44:58 EDT 2009

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

More information about the Haskell-Cafe mailing list