Skip to content

Minor refactor

Krzysztof Gogolewski requested to merge wip/misc-cleanup5 into master
  • Introduce refactorDupsOn f = refactorDups (comparing f)
  • Make mkBigTupleCase and coreCaseTuple monadic. Every call to those functions was preceded by calling newUniqueSupply.
  • Use mkUserLocalOrCoVar, which is equivalent to combining mkLocalIdOrCoVar with mkInternalName.

No functional changes.

Edited by Krzysztof Gogolewski

Merge request reports