Add note on value encoding

1 files changed, 4 insertions, 1 deletions

diff --git a/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryWriter.java b/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryWriter.java
index 614667da..4dc86a28 100644
--- a/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryWriter.java
+++ b/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryWriter.java
@@ -159,7 +159,10 @@ public class WasmBinaryWriter {
         } else if (unrelocatedIndex.isEmpty()) {
             throw new IllegalStateException("cannot write relocatable index outside of relocatable section");
         } else {
-            // TODO: handle 64-bit values
+            // In principle, we should handle 64-bit values here. However, since
+            // the values we're encoding are only 32-bit, and we're not
+            // including any padding, encoding them as 32-bit values should be
+            // equivalent.
             if (relocationType.isSigned()) {
                 writeSignedInt32(unrelocatedIndex.getAsInt());
             } else {