i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java

Browse Source
This commit is contained in:
Martin Plümicke 2018-02-21 17:22:23 +01:00
parent 89246ece5c
commit 9c35f04a09
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
View File

@ -429,7 +429,9 @@ public class RuleSet implements IRuleSet{
Unifier unif = Unifier.identity();
for(int i = 0; i < typeDParams.size(); i++) {
System.out.println("ADAPT" +typeDgenParams);
if (typeDgenParams.get(i) instanceof PlaceholderType)
unif.add((PlaceholderType) typeDgenParams.get(i), typeDParams.get(i));
else System.out.println("ERROR");
}
return Optional.of(new UnifyPair(unif.apply(newLhs), typeDs, PairOperator.SMALLERDOT));
}