Closed blackgnezdo closed 8 months ago
I'll remove the top commit once we merge https://github.com/google/ghc-source-gen/pull/107 and release it to hackage.
@ysangkok thanks for pointing out the missing pieces. I think I got them all. If you care to take another look, I can wait and release after that.
Somebody should push the "approve" button too.
@jinwoo could you take a look when you have a sec?
The top commit should NOT not be merged. It's only here to confirm the CI is working. Which it is: https://github.com/blackgnezdo/proto-lens/actions/runs/7284943410