Clarify comment about operations returning plain Signals

Possibly not all Signal results will be ported to PartitionedSignal. For
instance, comparison operations.

diff --git a/src/ieee754/part/formal/proof_partition.py b/src/ieee754/part/formal/proof_partition.py
index 534e9e549d53cfc0bf4cb78f7093e62f5a9f1c36..f2ef30740d6566774aa6812936ce8a5bdd437727 100644 (file)
--- a/src/ieee754/part/formal/proof_partition.py
+++ b/src/ieee754/part/formal/proof_partition.py
@@ -361,8 +361,9 @@ class OpDriver(Elaboratable):
         result = self.op(*operands)
         if isinstance(result, PartitionedSignal):
             comb += output.eq(result.sig)
-        # TODO: remove when all operations return PartitionedSignal
         else:
+            # handle operations that return plain Signals
+            # TODO: revise if/when PartitionedBool is implemented
             comb += output.eq(result)
         # instantiate the partitioned gate generator and connect the gates
         m.submodules.gen = gen = GateGenerator(mwidth)