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.

Sign up for GitHub

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

Jump to bottom

Fix #1389 and #1390 #1391

Merged
merged 1 commit into from
Mar 20, 2023
Merged

Fix #1389 and #1390 #1391

merged 1 commit into from
Mar 20, 2023

Conversation

mario-bucev
Copy link
Collaborator

@mario-bucev mario-bucev commented Mar 20, 2023 •
edited
Loading

Closes #1389, #1390

@mario-bucev mario-bucev linked an issue Mar 20, 2023 that may be closed by this pull request
Type error in presence of type aliases in Map keys #1390
Closed
@mario-bucev mario-bucev merged commit f95184b into epfl-lara:main Mar 20, 2023
@mario-bucev mario-bucev deleted the fix-1389-1390 branch March 20, 2023 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vkuncak vkuncak vkuncak 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.

Type error in presence of type aliases in Map keys Inox fatal error when doing imports of inner objects
2 participants
@mario-bucev @vkuncak