| > Just of out curiosity, what would be a compelling use case for singleton
| and unit unboxed tuples?
|
| For singleton unboxed tuples, any situation where you want to return a
| single value but not force its evaluation. This occurs for example
| with some low level functions in the implementation of ordinary lazy
| arrays.
True; but you don't need the singleton constructor as a function to do that;
just write
f x = (# x+1 #)
for example. Singleton unboxed tuples are a perfectly valid data type; it's
just that we don't (now) have a name for their constructor.
Simon
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
