Skip to content

Fix forall proxy workaround#132

Merged
JordanMartinez merged 2 commits intopurescript:masterfrom
JordanMartinez:fixForallProxy
Mar 17, 2022
Merged

Fix forall proxy workaround#132
JordanMartinez merged 2 commits intopurescript:masterfrom
JordanMartinez:fixForallProxy

Conversation

@JordanMartinez
Copy link
Contributor

@JordanMartinez JordanMartinez commented Mar 17, 2022

Description of the change

Replace polymorphic proxy with monomorphic one

Checklist:

  • Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution (if applicable)

@JordanMartinez
Copy link
Contributor Author

JordanMartinez commented Mar 17, 2022

🏓 @thomashoneyman

@JordanMartinez JordanMartinez merged commit 9472fbb into purescript:master Mar 17, 2022
@JordanMartinez JordanMartinez deleted the fixForallProxy branch March 17, 2022 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@thomashoneyman thomashoneyman thomashoneyman approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@JordanMartinez @thomashoneyman