Unresolved: address __div__

amaranth-lang · Nov 23, 2024 · 6d406f0 · 6d406f0
1 parent 191dc67
commit 6d406f0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/text/0041-fixed-point.md b/text/0041-fixed-point.md
@@ -164,9 +164,13 @@ TBD
   - `.round()` is a bit awkwardly named when it's used both to increase and decrease precision.
   - vk2seb@: The existing modifications address this:
     - Library name: `lib.fixed`
-    - Type names and shapes: signature has now been updated to use `i_bits`, `f_bits` and the explicit underlying storage in the constructor for `fixed.Shape`.
+    - Type names and shapes (from zyp@): signature has now been updated to use `i_bits`, `f_bits` and the explicit underlying storage in the constructor for `fixed.Shape`.
     - We now have `.reshape()`, which better represents increasing and decreasing precision. However, I'm open to new names.
 
+- Should `__div__` be permitted?
+    - zyp@: (...) To avoid scope creep, I'm inclined to leave inferred division out of this RFC. We could instead do a separate RFC later for that.
+    - vk2seb@: agree, let's leave it out of this RFC.
+
 ## Future possibilities
 [future-possibilities]: #future-possibilities