stan/FeatherweightTypeInference
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix type insert error

Browse Source
This commit is contained in:
JanUlrich 2021-12-07 16:30:13 +01:00
parent d03231fd95
commit 0c79b40f2f
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/scala/hb/dhbw/InsertTypes.scala
View File

@ -97,10 +97,14 @@ object InsertTypes {
typesWithoutBounds = typesWithoutBounds - TypeVariable(a)
Set(LessDot(GenericType(a), GenericType(g)))
}else Set()
case EqualsDot(TypeVariable(a), _) => if(linkedTypes.contains(TypeVariable(a))){
case EqualsDot(TypeVariable(a), RefType(_,_)) => if(linkedTypes.contains(TypeVariable(a))){
typesWithoutBounds = typesWithoutBounds - TypeVariable(a)
Set()
}else Set()
case EqualsDot(TypeVariable(a), TypeVariable(b)) => if(linkedTypes.contains(TypeVariable(a))){
typesWithoutBounds = typesWithoutBounds - TypeVariable(a)
Set(LessDot(GenericType(b), RefType("Object", List())))
}else Set()
case _ => Set()
}) ++ typesWithoutBounds.map(t => LessDot(t, RefType("Object", List())))
}