Kommentar in Unify fuer weitere Arbeiten eingefuegt

2015-01-20 18:24:58 +01:00 · 2015-01-20 18:24:58 +01:00 · cbafe352c9
commit cbafe352c9
parent d7bb282d0f
1 changed files with 2 additions and 0 deletions
--- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
@ -1371,6 +1371,8 @@ throws MatchException
                	}
                }
                //REDUCE2
+                //PL 15-01-20: HIER MUESSEN NOCH ALLE FAELLE MIT EXTENDS UND SUPER GEMISCHT ERGAENZT WERDEN
+                //BEACHTEN: WAS PASSIERT WENN HINTER ? extends/super EINE TYPVAR/KEIN REFTYPE STEHT
                if(P.OperatorEqual())
                {
                	RefType TA1 = null;