diff --git a/include/eurydice_glue.h b/include/eurydice_glue.h index edeeec6..6a21574 100644 --- a/include/eurydice_glue.h +++ b/include/eurydice_glue.h @@ -61,6 +61,7 @@ typedef struct } result_tryfromslice_flexible; +// See note in karamel/lib/Inlining.ml if you change this #define Eurydice_slice_to_array2(dst, src, _, t_arr, _ret_t) Eurydice_slice_to_array3((result_tryfromslice_flexible *)dst, src, sizeof(t_arr)) static inline void Eurydice_slice_to_array3(result_tryfromslice_flexible *dst, Eurydice_slice src, size_t sz) { @@ -103,6 +104,7 @@ static inline uint8_t Eurydice_shr_pv_u8(uint8_t *p, int32_t v) { return (*p) >> #define core_iter_range___core__iter__traits__iterator__Iterator_for_core__ops__range__Range_A___3__next Eurydice_range_iter_next +// See note in karamel/lib/Inlining.ml if you change this #define Eurydice_into_iter(x, t, _ret_t) (x) #define core_iter_traits_collect___core__iter__traits__collect__IntoIterator_for_I___into_iter Eurydice_into_iter