Skip to content

Fixes on instance resolution.#336

Merged
rodrigogribeiro merged 7 commits into
mainfrom
invokable-problem-issue
Mar 20, 2026
Merged

Fixes on instance resolution.#336
rodrigogribeiro merged 7 commits into
mainfrom
invokable-problem-issue

Conversation

@rodrigogribeiro

@rodrigogribeiro rodrigogribeiro commented Mar 13, 2026

Copy link
Copy Markdown
Collaborator

* Fixes on instance resolution.
* Changes on the ambiguity test on the specializer.
@rodrigogribeiro rodrigogribeiro requested review from Y-Nak and mbenke March 13, 2026 16:54
* Adds more fixes on instance solving.
* Add another test by mbenke.
Comment thread src/Solcore/Frontend/TypeInference/TcSimplify.hs Outdated
Comment thread src/Solcore/Frontend/TypeInference/TcSimplify.hs Outdated
@rodrigogribeiro rodrigogribeiro force-pushed the invokable-problem-issue branch from 37a1e84 to 02a654e Compare March 17, 2026 11:59
@rodrigogribeiro rodrigogribeiro requested a review from Y-Nak March 17, 2026 12:11

@mbenke mbenke left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks!

@rodrigogribeiro rodrigogribeiro merged commit 4fd0926 into main Mar 20, 2026
4 checks passed
@rodrigogribeiro rodrigogribeiro deleted the invokable-problem-issue branch March 20, 2026 16:05
Y-Nak pushed a commit to Y-Nak/solcore that referenced this pull request Apr 14, 2026
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.

Instance resolution problem with invokables

3 participants