Cleanup comments

This commit is contained in:
JanUlrich 2022-06-29 15:20:59 +02:00
parent 6f48d04a7e
commit 0e0c096d0f
3 changed files with 0 additions and 6 deletions

View File

@ -13,8 +13,6 @@ class CartesianProductBuilder[A](){
}
class CartesianProduct[A](private val setOfSets: List[List[A]]){
//def addPossibilities(Set[A]) //TODO
private var sizes: List[Int] = null
private var max: Long = 1
private var i: Long = 0

View File

@ -98,7 +98,6 @@ object FJTypeinference {
val postProcessed = removeLessDotGenericConstraints(unifyResult, c.genericParams.map(_._1.asInstanceOf[GenericType].name).toSet)
//Insert intersection types
//val typeInsertedC = InsertTypes.applyResult(sigma, generics, c)//InsertTypes.insert(unifyResult, c)
val typeInsertedC = removeOverloadedSubtypeMethods(InsertTypes.applyUnifyResult(postProcessed, c), fc)
typedClasses = typedClasses :+ typeInsertedC
cOld :+ typeInsertedC

View File

@ -1,8 +1,5 @@
package hb.dhbw
import hb.dhbw.Unify.getLinks
sealed abstract class UnifyConstraint(val left: UnifyType, val right: UnifyType)
final case class UnifyLessDot(override val left: UnifyType, override val right: UnifyType) extends UnifyConstraint(left, right)
final case class UnifyEqualsDot(override val left: UnifyType, override val right: UnifyType) extends UnifyConstraint(left, right)