Merge WhereClause and WhereClauseGoal into a single enum
#37
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
The two enums were merged into a single one named `WhereClause`. In particular, chalk syntax is now a superset of rust syntax and `WF` types are now allowed into the environment.
|
Note, this change is subsumed by the overhaul here. |
|
OK, I'm going to close this in favor of #36, which does indeed do a similar thing -- though it separates out unifications, which I overlooked when talking to @scalexm in the first place (unification goals is probably why I made the split between "where-clause-goal" and "where-clause" goal to start). |
|
Sorry @scalexm for leading you down a false start. =) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The two enums were merged into a single one named
WhereClause. In particular, chalk syntax is now a superset of rust syntax andWellFormedtypes are now allowed into the environment. This is a preparation for solving #12.