Skip to content
This repository has been archived by the owner on Dec 18, 2020. It is now read-only.

Enforce unique names before type inference #19

Merged
merged 2 commits into from
Feb 3, 2020
Merged

Enforce unique names before type inference #19

merged 2 commits into from
Feb 3, 2020

Conversation

Bastacyclop
Copy link
Member

No description provided.

@Bastacyclop Bastacyclop changed the title unique name tests Enforce unique names before type inference and in following substitutions Jan 29, 2020
@Bastacyclop Bastacyclop marked this pull request as ready for review January 31, 2020 15:20
@Bastacyclop Bastacyclop changed the title Enforce unique names before type inference and in following substitutions Enforce unique names before type inference Jan 31, 2020
@Bastacyclop Bastacyclop requested a review from a team January 31, 2020 15:20
@roger-uw roger-uw merged commit 49257d0 into master Feb 3, 2020
@roger-uw roger-uw deleted the unique-names branch February 3, 2020 09:52
This was referenced Feb 3, 2020
Merged
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@michel-steuwer michel-steuwer michel-steuwer approved these changes

@roger-uw roger-uw roger-uw 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.
3 participants
@Bastacyclop @michel-steuwer @roger-uw