Couple more fixes from Franziskus -- thanks

AeneasVerif · Mar 23, 2024 · 05e3cd4 · 05e3cd4
1 parent 0778b63
commit 05e3cd4
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/include/eurydice_glue.h b/include/eurydice_glue.h
@@ -75,8 +75,12 @@ static inline void core_num__u32_8__to_be_bytes(uint32_t src, uint8_t dst[4]) {
   memcpy(dst, &x, 4);
 }
 
-static inline int64_t core_convert_num__i64_59__from(int32_t x) { return x; }
-static inline int32_t core_convert_num__i32_56__from(int16_t x) { return x; }
+static inline int64_t
+core_convert_num___core__convert__From_i32__for_i64__59__from(int32_t x)
+{
+  return x;
+}
+
 // unsigned overflow wraparound semantics in C
 static inline uint16_t core_num__u16_7__wrapping_add(uint16_t x, uint16_t y) { return x + y; }
 static inline uint8_t core_num__u8_6__wrapping_sub(uint8_t x, uint8_t y) { return x - y; }
@@ -127,7 +131,7 @@ static inline Eurydice_slice chunk_next(Eurydice_chunks *chunks, size_t element_
     .chunk_size = sz_ })
 #define core_slice_iter_Chunks Eurydice_chunks
 #define core_slice_iter_ChunksExact Eurydice_chunks
-#define core_slice_iter__core__slice__iter__Chunks__a__T__70__next(iter, t, ret_t) \
+#define core_slice_iter___core__iter__traits__iterator__Iterator_for_core__slice__iter__Chunks__a__T___70__next(iter, t, ret_t) \
   (((iter)->slice.len == 0) ? \
     ((ret_t) { .tag = core_option_None }) : \
     ((ret_t){ \