JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity

Fix 298 for real this time?
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 1m3s
Details

Browse Source
This commit is contained in:
Daniel Holle 2024-03-27 14:39:43 +01:00
parent b70e435120
commit 82b4450857
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java
View File

@ -906,6 +906,7 @@ public class RuleSet implements IRuleSet{
var fiArgs = fc.getFunctionalInterfaceTypeArguments(refType); var fiArgs = fc.getFunctionalInterfaceTypeArguments(refType);
var retType = fiArgs.getFirst(); var retType = fiArgs.getFirst();
System.out.println(lhsType.getName());
var lhsArgs = fc.getFunctionalInterfaceTypeArguments(lhsType); var lhsArgs = fc.getFunctionalInterfaceTypeArguments(lhsType);
var lhsRet = lhsArgs.getFirst(); var lhsRet = lhsArgs.getFirst();

3
src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
View File

@ -613,6 +613,8 @@ implements IFiniteClosure {
@Override @Override
public List<UnifyType> getFunctionalInterfaceTypeArguments(UnifyType t) { public List<UnifyType> getFunctionalInterfaceTypeArguments(UnifyType t) {
if (t instanceof FunNType) return Arrays.asList(t.getTypeParams().get()).reversed();
var clazz = compiler.getClass(new JavaClassName(t.getName())); var clazz = compiler.getClass(new JavaClassName(t.getName()));
var intfMethod = clazz.getMethods().stream().filter(m -> Modifier.isAbstract(m.modifier)).findFirst().orElseThrow(); var intfMethod = clazz.getMethods().stream().filter(m -> Modifier.isAbstract(m.modifier)).findFirst().orElseThrow();
@ -630,7 +632,6 @@ implements IFiniteClosure {
i += 1; i += 1;
} }
System.out.println(args);
return args; return args;
} }