Skip to content

Do we need Void#?

The types Void# and the unboxed tuple (# #) have the same RuntimeRep. Do we need both, or can we define type Void# = (# #); void# :: Void#; void# = (# #)?

Void# was introduced in "initial revision" in 1996, the unboxed singleton tuple in 2011 (#5720 (closed)).

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information