Skip to content

Minor cleanup

Krzysztof Gogolewski requested to merge wip/minor-cleanup-void into master
  • Remove mkHeteroCoercionType, sdocImpredicativeTypes, isStateType (unused), isCoVar_maybe (duplicated by getCoVar_maybe)
  • Replace a few occurrences of voidPrimId with (# #). void# is a deprecated synonym for the unboxed tuple.
  • Use showSDoc in :show linker. This makes it consistent with the other :show commands

Merge request reports