fixed follow wrt recursion

2019-11-28 14:20:55 +01:00
parent e340f7f5ad
commit f4db6faa80
1 changed files with 2 additions and 2 deletions
@@ -683,9 +683,9 @@ class Checker {
 	public function follow( t : TType ) {
 		return switch( t ) {
 		case TMono(r): if( r.r != null ) follow(r.r) else t;
-		case TType(t,args): apply(t.t, t.params, args);
+		case TType(t,args): follow(apply(t.t, t.params, args));
 		case TNull(t): follow(t);
-		case TLazy(f): f();
+		case TLazy(f): follow(f());
 		default: t;
 		}
 	}