arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-10 03:10:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

if mgu has no substitution for alpha1, final type is alpha1

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-04 16:50:36 +01:00
parent 886ea78869
commit 49ee20baaa
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/java/edu/kit/typicalc/model/TypeInferenceResult.java
View File

@ -62,8 +62,10 @@ public class TypeInferenceResult {
return substitution.getType();
}
}
throw new IllegalStateException("MGU has to contain substitution for original type variable: "
+ typeVar.toString());
return typeVar;
// TODO: correct?
// throw new IllegalStateException("MGU has to contain substitution for original type variable: "
// + typeVar.toString());
}
/**