Fixed MessagePack.Writer.writeArrayHeader.

robby-phd · robby-phd · commit 105dd52ee750 · 2026-02-09T09:40:47.000-06:00
diff --git a/library/shared/src/main/scala/org/sireum/MessagePack.scala b/library/shared/src/main/scala/org/sireum/MessagePack.scala
@@ -961,10 +961,10 @@ object MessagePack {
           addU8(Code.FIXARRAY_PREFIX | conversions.Z.toU8(n))
         } else if (n < 65536 /* 1 << 16 */ ) {
           addU8(Code.ARRAY16)
-          addS16(conversions.Z.toS16(n))
+          addU16(conversions.Z.toU16(n))
         } else {
           addU8(Code.ARRAY32)
-          addS32(conversions.Z.toS32(n))
+          addU32(conversions.Z.toU32(n))
         }
       }
 

Original file line number	Diff line number	Diff line change
`@@ -961,10 +961,10 @@ object MessagePack {`
`961`	`961`	`addU8(Code.FIXARRAY_PREFIX \| conversions.Z.toU8(n))`
`962`	`962`	`} else if (n < 65536 /* 1 << 16 */ ) {`
`963`	`963`	`addU8(Code.ARRAY16)`
`964`		`- addS16(conversions.Z.toS16(n))`
	`964`	`+ addU16(conversions.Z.toU16(n))`
`965`	`965`	`} else {`
`966`	`966`	`addU8(Code.ARRAY32)`
`967`		`- addS32(conversions.Z.toS32(n))`
	`967`	`+ addU32(conversions.Z.toU32(n))`
`968`	`968`	`}`
`969`	`969`	`}`
`970`	`970`