I made your suggested changes. The error messages are:
Arduino: 1.8.8 (Linux), Board: "ESPDuino (ESP-13 Module), ESPduino-V2, 80 MHz, Flash, Enabled, 4M (no SPIFFS), v2 Lower Memory, Disabled, None, Only Sketch, 115200"
In file included from /home/tyga/.arduino15/packages/esp8266/hardware/esp8266/2.5.0-beta2/tools/sdk/libc/xtensa-lx106-elf/include/sys/stdio.h:6:0,
from /home/tyga/.arduino15/packages/esp8266/hardware/esp8266/2.5.0-beta2/tools/sdk/libc/xtensa-lx106-elf/include/stdio.h:63,
from /home/tyga/.arduino15/packages/esp8266/hardware/esp8266/2.5.0-beta2/cores/esp8266/Arduino.h:32,
from sketch/uLispZero.cpp.ino.cpp:1:
/home/tyga/Arduino/uLispZero/uLispZero.cpp/uLispZero.cpp.ino: In function 'void pfstring(const char*)':
/home/tyga/.arduino15/packages/esp8266/hardware/esp8266/2.5.0-beta2/tools/sdk/libc/xtensa-lx106-elf/include/sys/pgmspace.h:71:67: error: invalid conversion from 'int' to 'const void*' [-fpermissive]
#define pgm_read_byte(addr) pgm_read_byte_inlined(addr)
^
/home/tyga/Arduino/uLispZero/uLispZero.cpp/uLispZero.cpp.ino:622:14: note: in expansion of macro 'pgm_read_byte'
char c = pgm_read_byte(p++);
^
/home/tyga/.arduino15/packages/esp8266/hardware/esp8266/2.5.0-beta2/tools/sdk/libc/xtensa-lx106-elf/include/sys/pgmspace.h:58:23: error: initializing argument 1 of 'uint8_t pgm_read_byte_inlined(const void*)' [-fpermissive]
static inline uint8_t pgm_read_byte_inlined(const void* addr) {
^
exit status 1
Error compiling for board ESPDuino (ESP-13 Module).
Which suggests that I have other issues to sort out in addition to the pgm_read_byte
macro.
Might be better for me to put this on the back-burner and wait for when uLisp Zero is re-released with all the v2.5 goodness.