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 some problems #103

Merged

Gabriel-Darbord merged 1 commit into v3 from fixParam

Jul 10, 2024

LABSARI commented Mar 5, 2024

Fix some errors related to parametrics:

Stub parametric classes were not managed correctly leading to exception
Implementation on stub parametric interfaces were not managed correctly leading to exception
Add test for parameter type concretisation


          Fix some problems

a0e9988

LABSARI marked this pull request as draft

March 5, 2024 16:44

badetitou marked this pull request as ready for review

May 22, 2024 06:18

badetitou marked this pull request as draft

May 22, 2024 06:18

Member

badetitou commented May 22, 2024

Did we wait for any additional work for this PR?

Gabriel-Darbord marked this pull request as ready for review

July 10, 2024 09:46

Gabriel-Darbord merged commit 4a3d997 into v3

1 check passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet