fix compile error for rgfw shell. The compile error was on the C side, and was caused by a dependency (<GL/glx.h>) having the typedef 'Bool', and the mlton-generated export headers also having a typedef 'Bool' with the same name. The solution for this project is just to delete the typedef from the mlton-generated headers.

build-unix-rgfw-debug-.sh

@@ -1,5 +1,4 @@
 #!/bin/sh
 mlton -const 'Exn.keepHistory true' -link-opt "-lX11 -lXrandr -lGL" \
-  -export-header ffi/mlton-rgfw-export.h \
   shf-rgfw.mlb \
   ffi/rgfw-export.c

ffi/mlton-rgfw-export.h

@@ -83,7 +83,6 @@ typedef Vector(Char32_t) String32_t;
 typedef Vector(Char32_t) String32;
 
 typedef Int32_t Bool_t;
-typedef Int32_t Bool;
 typedef String8_t NullString8_t;
 typedef String8_t NullString8;