binary icon indicating copy to clipboard operation
binary copied to clipboard

Published 20 hours ago • verified publisher icon kolmodin

Boxed rep 2020 10 08

Open andrewthad opened this issue 5 years ago • 2 comments
trafficstars

Do not merge this unless BoxedRep is approved.

andrewthad avatar Oct 08 '20 16:10 andrewthad

GHC's submodule currently has some identical-looking commits on top of master. We should probably reset this PR to track that rebase of this, and then merge it, so GHC isn't (yet again) diverged. CC @bgamari

Ericson2314 avatar Mar 08 '21 22:03 Ericson2314

In particular, the branch in the ghc mirror is wip/boxed-rep and the (current) branch tip is 6d3cb9fdc961cc6cce23860d74316c635ed90945.

Ericson2314 avatar Mar 08 '21 22:03 Ericson2314