60 lines
970 B
C
60 lines
970 B
C
#include "factor.h"
|
|
|
|
void primitive_exit(void)
|
|
{
|
|
exit(to_fixnum(dpop()));
|
|
}
|
|
|
|
void primitive_os_env(void)
|
|
{
|
|
char *name, *value;
|
|
|
|
maybe_garbage_collection();
|
|
|
|
name = unbox_c_string();
|
|
value = getenv(name);
|
|
if(value == NULL)
|
|
dpush(F);
|
|
else
|
|
box_c_string(getenv(name));
|
|
}
|
|
|
|
void primitive_eq(void)
|
|
{
|
|
box_boolean(dpop() == dpop());
|
|
}
|
|
|
|
#ifdef WIN32
|
|
int64_t current_millis(void)
|
|
{
|
|
FILETIME t;
|
|
GetSystemTimeAsFileTime(&t);
|
|
return ((int64_t)t.dwLowDateTime | (int64_t)t.dwHighDateTime<<32) / 100000
|
|
- 172456224000;
|
|
}
|
|
#else
|
|
int64_t current_millis(void)
|
|
{
|
|
struct timeval t;
|
|
gettimeofday(&t,NULL);
|
|
return (int64_t)t.tv_sec * 1000 + t.tv_usec/1000;
|
|
}
|
|
#endif
|
|
|
|
void primitive_millis(void)
|
|
{
|
|
maybe_garbage_collection();
|
|
dpush(tag_object(s48_long_long_to_bignum(current_millis())));
|
|
}
|
|
|
|
void primitive_init_random(void)
|
|
{
|
|
srand((unsigned)time(NULL));
|
|
}
|
|
|
|
void primitive_random_int(void)
|
|
{
|
|
maybe_garbage_collection();
|
|
dpush(tag_object(s48_long_to_bignum(rand())));
|
|
}
|