Match RefC header changes

madman-bob · madman-bob · commit eacb3e9b4582 · 2025-09-15T16:00:50.000+01:00
diff --git a/Idris2Python/module_template/idris2/refc_types.py b/Idris2Python/module_template/idris2/refc_types.py
@@ -76,8 +76,9 @@
 
 class Value_header(ctypes.Structure):
     _fields_ = [
-        ("refCounter", ctypes.c_int),
-        ("tag", ctypes.c_int),
+        ("refCounter", ctypes.c_int16),
+        ("tag", ctypes.c_int8),
+        ("reserved", ctypes.c_int8),
     ]
 
 

Original file line number	Diff line number	Diff line change
`@@ -76,8 +76,9 @@`
`76`	`76`
`77`	`77`	`class Value_header(ctypes.Structure):`
`78`	`78`	`_fields_ = [`
`79`		`- ("refCounter", ctypes.c_int),`
`80`		`- ("tag", ctypes.c_int),`
	`79`	`+ ("refCounter", ctypes.c_int16),`
	`80`	`+ ("tag", ctypes.c_int8),`
	`81`	`+ ("reserved", ctypes.c_int8),`
`81`	`82`	`]`
`82`	`83`
`83`	`84`