Skip to content

Conversation

andrewthad
Copy link
Contributor

@andrewthad andrewthad commented Oct 8, 2020

Do not merge this unless BoxedRep is approved.

@Ericson2314
Copy link
Contributor

Ericson2314 commented Mar 8, 2021

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
Copy link
Contributor

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

@bgamari bgamari mentioned this pull request Apr 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants