Relax width constraint on typeEquivalent

konda-x1 · web-flow · commit 36ce43c90ce9 · 2023-10-03T02:21:47.000+02:00
diff --git a/src/main/scala/fixedpoint/FixedPoint.scala b/src/main/scala/fixedpoint/FixedPoint.scala
@@ -425,8 +425,7 @@ sealed class FixedPoint private[fixedpoint] (width: Width, private var _inferred
   def widthKnown: Boolean = data.widthKnown
 
   override def typeEquivalent(that: Data): Boolean = {
-    // Can't compare binaryPoints since cloneSuperType doesn't work in case of user-defined FixedPoint
-    this.getClass == that.getClass && FixedPoint.recreateWidth(this) == FixedPoint.recreateWidth(that)
+    this.getClass == that.getClass
   }
 
   override def litOption: Option[BigInt] = data.litOption

Original file line number	Diff line number	Diff line change
`@@ -425,8 +425,7 @@ sealed class FixedPoint private[fixedpoint] (width: Width, private var _inferred`
`425`	`425`	`def widthKnown: Boolean = data.widthKnown`
`426`	`426`
`427`	`427`	`override def typeEquivalent(that: Data): Boolean = {`
`428`		`- // Can't compare binaryPoints since cloneSuperType doesn't work in case of user-defined FixedPoint`
`429`		`- this.getClass == that.getClass && FixedPoint.recreateWidth(this) == FixedPoint.recreateWidth(that)`
	`428`	`+ this.getClass == that.getClass`
`430`	`429`	`}`
`431`	`430`
`432`	`431`	`override def litOption: Option[BigInt] = data.litOption`