Flag to print explicit multiplicities?
It seems inconsistent that we have flags such as -fprint-explicit-kinds
and -fprint-explicit-runtime-reps
, but the way to show multiplicities is to turn on -XLinearTypes
. Why not have a -fprint-explicit-multiplicities
flag, perhaps implied by -XLinearTypes
?
Apart from consistency, another motivation is that it would be nice to have a -fprint-explicit-everything
flag that turns on all the -fprint-explicit-*
options. It wouldn't make sense for this to turn on -XLinearTypes
in its entirety though!