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
