Polymorphism fixes #906

Merged

ghallak merged 5 commits from ghallak/fix-polymorphism into master

2022-10-04 18:40:50 +09:00

Author	SHA1	Message	Date
Gaith Hallak	2a55823633	Match only with function name and without typesig	2022-10-03 14:09:35 +03:00
Gaith Hallak	06879fdf73	Rename delete_if_implementation	2022-09-29 13:31:33 +03:00
Gaith Hallak	670f00935d	Unify functions with decls from implemented interfaces	2022-09-07 18:53:16 +03:00
Gaith Hallak	2374b06734	Add test for void supertype	2022-09-07 17:29:38 +03:00
Gaith Hallak	04e1c94bae	Assume that void is a supertype of all types	2022-09-03 13:46:01 +03:00