max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: windows build for signal handlers (#12955)

Browse source 
This PR fixes the windows build with signal handlers.
This commit is contained in:
Sofia Rodrigues 2026-03-17 20:02:01 -03:00 • committed by GitHub
parent 4ba85acc46
commit bf4f51e704
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/runtime/uv/signal.cpp
View file

@ -75,12 +75,14 @@ extern "C" LEAN_EXPORT lean_obj_res lean_uv_signal_mk(uint32_t signum_obj, uint8
case 1: signum = SIGHUP; break;
case 2: signum = SIGINT; break;
case 3: signum = SIGQUIT; break;
case 5: signum = SIGTRAP; break;
case 6: signum = SIGABRT; break;
case 15: signum = SIGTERM; break;
case 28: signum = SIGWINCH; break;
#ifndef LEAN_WINDOWS
case 5: signum = SIGTRAP; break;
case 10: signum = SIGUSR1; break;
case 12: signum = SIGUSR2; break;
case 14: signum = SIGALRM; break;
case 15: signum = SIGTERM; break;
case 17: signum = SIGCHLD; break;
case 18: signum = SIGCONT; break;
case 20: signum = SIGTSTP; break;
@ -91,9 +93,10 @@ extern "C" LEAN_EXPORT lean_obj_res lean_uv_signal_mk(uint32_t signum_obj, uint8
case 25: signum = SIGXFSZ; break;
case 26: signum = SIGVTALRM; break;
case 27: signum = SIGPROF; break;
case 28: signum = SIGWINCH; break;
case 29: signum = SIGIO; break;
case 31: signum = SIGSYS; break;
#endif
default: signum = 0; break;
}
lean_uv_signal_object * signal = (lean_uv_signal_object*)malloc(sizeof(lean_uv_signal_object));

9
stage0/src/runtime/uv/signal.cpp generated
View file

@ -75,12 +75,14 @@ extern "C" LEAN_EXPORT lean_obj_res lean_uv_signal_mk(uint32_t signum_obj, uint8
case 1: signum = SIGHUP; break;
case 2: signum = SIGINT; break;
case 3: signum = SIGQUIT; break;
case 5: signum = SIGTRAP; break;
case 6: signum = SIGABRT; break;
case 15: signum = SIGTERM; break;
case 28: signum = SIGWINCH; break;
#ifndef LEAN_WINDOWS
case 5: signum = SIGTRAP; break;
case 10: signum = SIGUSR1; break;
case 12: signum = SIGUSR2; break;
case 14: signum = SIGALRM; break;
case 15: signum = SIGTERM; break;
case 17: signum = SIGCHLD; break;
case 18: signum = SIGCONT; break;
case 20: signum = SIGTSTP; break;
@ -91,9 +93,10 @@ extern "C" LEAN_EXPORT lean_obj_res lean_uv_signal_mk(uint32_t signum_obj, uint8
case 25: signum = SIGXFSZ; break;
case 26: signum = SIGVTALRM; break;
case 27: signum = SIGPROF; break;
case 28: signum = SIGWINCH; break;
case 29: signum = SIGIO; break;
case 31: signum = SIGSYS; break;
#endif
default: signum = 0; break;
}
lean_uv_signal_object * signal = (lean_uv_signal_object*)malloc(sizeof(lean_uv_signal_object));