#include "../../std/unistd.h"

#include "../../shed.h"
#include "./Process.h"

#ifdef __wasm__

void wasi_proc_exit(uint32_t exitcode)
    __attribute__((
        __import_module__("wasi_snapshot_preview1"),
        __import_name__("proc_exit"),
    ));

ShedObject shed__runtime__namespace__Std__Process__exit(
    ShedClosurePointer closurePointer,
    ShedObject exitCode
) {
    wasi_proc_exit(shed__runtime__int_value(exitCode));
    return shed_unit;
}

#else

#include <stdlib.h>

ShedObject shed__runtime__namespace__Std__Process__exit(
    ShedClosurePointer closurePointer,
    ShedObject exitCode
) {
    exit(shed__runtime__int_value(exitCode));
    return shed_unit;
}

#endif