Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix to the coend definition #221

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Conversation

winitzki
Copy link

@winitzki winitzki commented Oct 21, 2019

I think the previous code for Coend was incorrect. The previous code was in no way different from the code for trait PolyFunction1, i.e. for End. The Coend must contain an existential quantifier. An existential quantifier is encoded in Scala as a case class with an extra type parameter. An universal quantifier is encoded as a trait with a method having a type parameter.

winitzki and others added 2 commits October 21, 2019 15:29
I think the previous code for `Coend` was incorrect. The previous code was in no way different from the code for `trait PolyFunction1`, i.e. for `End`. The existential quantifier is encoded in Scala as a case class with an extra type parameter.
@hmemcpy hmemcpy force-pushed the master branch 2 times, most recently from 0e79320 to 4986511 Compare February 14, 2020 17:37
@drupol
Copy link
Collaborator

drupol commented Feb 2, 2023

Hi!

I'm making a small PR cleanup.

What's the status of this PR ?

@winitzki
Copy link
Author

winitzki commented Feb 2, 2023

I believe this PR fixes an error in the code. It should be reviewed and merged if accepted.

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