For now, the type system in ScalaHDL is not good enough. For example, Signed(-1) % Unsigned(2) or Unsigned(1) % Signed(-2) should be allowed, and the result type can be deduced, but they are not currently supported in this version of ScalaHDL (they are, however, supported in the first version – details can be found in our paper Express and Test Hardware Designs in a Scala DSL, and the source code here).
We should implement a type system at least as good as the first version of ScalaHDL.
For now, the type system in ScalaHDL is not good enough. For example,
Signed(-1) % Unsigned(2)orUnsigned(1) % Signed(-2)should be allowed, and the result type can be deduced, but they are not currently supported in this version of ScalaHDL (they are, however, supported in the first version – details can be found in our paper Express and Test Hardware Designs in a Scala DSL, and the source code here).We should implement a type system at least as good as the first version of ScalaHDL.