fix unification with {}

This commit is contained in:
Nicolas Cannasse
2021-05-14 18:18:55 +02:00
parent 36eb0fca8b
commit 459a39e65d
+2
View File
@@ -597,6 +597,8 @@ class Checker {
case [TDynamic, _]:
return true;
case [TAnon(a1),TAnon(a2)]:
if( a2.length == 0 ) // always unify with {}
return true;
var m = new Map();
for( f in a1 )
m.set(f.name, f);