Skip to content

Define type Void# = (# #) (#18441)

Krzysztof Gogolewski requested to merge tweag/ghc:wip/no-void-prim into master

Previously, Void# was a primitive type. Now, we define type Void# = (# #), which reduces the number of primitive types.

I'm leaving Void# and void# for backwards compatibility.

The GHC.Prim.Panic and GHC.Prim.Exception modules cannot use the synonym, since they don't depend on GHC.Types.

Closes #18441 (closed).

Edited by Krzysztof Gogolewski

Merge request reports