Error if polymorphism is present after monomorphisation

type:fixed

Check for unresolved polymorphism after monomorphisation, check args of E_application & E_constant for presense of T_variable or T_for_all

Changelog details:

Improve error message if polymorphism cannot be resolved

requested review from @er433 and @lesenechal.remi

assigned to @melwyn95

marked this merge request as draft

added 1 commit

• 5eb0afa3 - Simplyfiy polymorphism check

Compare with previous version

added 138 commits

• 5eb0afa3...858f2bf4 - 136 commits from branch dev
• 1106ebd5 - Merge branch 'dev' of gitlab.com:ligolang/ligo into fix/poly_after_mono
• 67def986 - Check E_application & E_constant from left over polymorphism

Compare with previous version

changed the description

added Review label

mentioned in commit 499c1983

added 2 commits

• 499c1983 - Merge branch 'fix/poly_after_mono' into 'dev'
• e5f7011e - [Bot] add changelog entry

Compare with previous version

marked this merge request as ready

resolved all threads

added 1 commit

• 84a2aedd - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

approved this merge request

added this merge request to the merge train at position 3

merged

mentioned in commit 0aee8999