Skip to content

Error if polymorphism is present after monomorphisation

Melwyn Saldanha requested to merge fix/poly_after_mono into dev

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

Edited by Melwyn Saldanha

Merge request reports