Week 4-BN: define SDK types before set_user_type (fixes 'unknown type name')

The Python shortcut failed with SyntaxError: unknown type name 'stdio_driver_t'
then 'va_list' then 'uint'. set_user_type re-parses each signature as C, so the
Pico SDK types (uint, va_list, stdio_driver_t, uart_inst_t, gpio_function_t) must
be defined first. Add the sdk parse/define block to both snippets and correct the
stale 'undefined named types are fine' note.
This commit is contained in:
Kevin Thomas committed 2026-10-03 16:10:35 -04:00
1 parent 023b1cb4b7
commit 73de93e194
2 files changed
+41 -1

No files matched your search

Binary file not shown.