1745 lines
62 KiB
C
1745 lines
62 KiB
C
/*
|
|
MzScheme
|
|
Copyright (c) 2004-2006 PLT Scheme Inc.
|
|
Copyright (c) 1995-2001 Matthew Flatt
|
|
All rights reserved.
|
|
|
|
Please see the full copyright in the documentation.
|
|
|
|
Originally based on:
|
|
libscheme
|
|
Copyright (c) 1994 Brent Benson
|
|
All rights reserved.
|
|
*/
|
|
|
|
#ifndef SCHEME_H
|
|
#define SCHEME_H
|
|
|
|
/* The next line is used and set during installation: */
|
|
/*III*/
|
|
|
|
/*========================================================================*/
|
|
/* configuration */
|
|
/*========================================================================*/
|
|
|
|
/* The configuration is not intended to be adjusted here. Instead,
|
|
modify sconfig.h. The code below simply draws a few more
|
|
configuration conclusions and a few extra macros based on those
|
|
settings. */
|
|
|
|
#ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "sconfig.h"
|
|
#else
|
|
# include "../sconfig.h"
|
|
#endif
|
|
|
|
#ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "schvers.h"
|
|
#else
|
|
# include "../src/schvers.h"
|
|
#endif
|
|
|
|
#if defined(__MWERKS__)
|
|
# ifdef MZSCHEME_USES_NEAR_GLOBALS
|
|
# pragma far_data off
|
|
# endif
|
|
#endif
|
|
|
|
#if SGC_STD_DEBUGGING
|
|
# ifndef USE_SENORA_GC
|
|
# define USE_SENORA_GC
|
|
# endif
|
|
# define USE_MEMORY_TRACING
|
|
#endif
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
# define MUST_REGISTER_GLOBALS
|
|
# define MZTAG_REQUIRED
|
|
# undef UNIX_IMAGE_DUMPS
|
|
/* In case SGC is used to build PRECISE_GC: */
|
|
# undef USE_SENORA_GC
|
|
#endif
|
|
|
|
#ifdef USE_SENORA_GC
|
|
# define MUST_REGISTER_GLOBALS
|
|
# undef UNIX_IMAGE_DUMPS
|
|
#endif
|
|
|
|
#ifdef USE_SINGLE_FLOATS
|
|
# define MZ_USE_SINGLE_FLOATS
|
|
#endif
|
|
|
|
#ifdef DONT_ITIMER
|
|
# undef USE_ITIMER
|
|
#endif
|
|
|
|
#if defined(USE_ITIMER) || defined(USE_WIN32_THREAD_TIMER)
|
|
# define FUEL_AUTODECEREMENTS
|
|
#endif
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
# define MZ_HASH_KEY_EX short keyex;
|
|
# define MZ_OPT_HASH_KEY_EX /**/
|
|
# define MZ_OPT_HASH_KEY(obj) (obj)->so.keyex
|
|
#else
|
|
# define MZ_HASH_KEY_EX /**/
|
|
# define MZ_OPT_HASH_KEY_EX short keyex;
|
|
# define MZ_OPT_HASH_KEY(obj) (obj)->keyex
|
|
#endif
|
|
|
|
#ifdef PALMOS_STUFF
|
|
# include <PalmOS.h>
|
|
typedef long FILE;
|
|
# define _LINUX_TYPES_H /* Blocks types.h */
|
|
#endif
|
|
|
|
#ifndef SCHEME_DIRECT_EMBEDDED
|
|
# define SCHEME_DIRECT_EMBEDDED 1
|
|
#endif
|
|
|
|
#ifndef MSC_IZE
|
|
# define MSC_IZE(x) x
|
|
#endif
|
|
#ifndef MSCBOR_IZE
|
|
# define MSCBOR_IZE(x) MSC_IZE(x)
|
|
#endif
|
|
|
|
#ifdef SIGSET_IS_SIGNAL
|
|
# define MZ_SIGSET(s, f) signal(s, f)
|
|
#else
|
|
# define MZ_SIGSET(s, f) sigset(s, f)
|
|
#endif
|
|
|
|
#ifdef MZ_XFORM
|
|
START_XFORM_SUSPEND;
|
|
#endif
|
|
|
|
#include <stdio.h>
|
|
#include <setjmp.h>
|
|
#include <stdarg.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <stddef.h>
|
|
|
|
#ifdef MZ_XFORM
|
|
END_XFORM_SUSPEND;
|
|
#endif
|
|
|
|
#ifdef PALMOS_STUFF
|
|
typedef jmpbuf jmp_buf[1];
|
|
#endif
|
|
|
|
#define GC_MIGHT_USE_REGISTERED_STATICS
|
|
|
|
#ifdef MACINTOSH_EVENTS
|
|
/* We avoid #including the Carbon headers because we only
|
|
need a few abstract struct types: */
|
|
typedef struct FSSpec mzFSSpec;
|
|
#endif
|
|
|
|
/* Set up MZ_EXTERN for DLL build */
|
|
#if defined(WINDOWS_DYNAMIC_LOAD) \
|
|
&& !defined(LINK_EXTENSIONS_BY_TABLE) \
|
|
&& !defined(SCHEME_EMBEDDED_NO_DLL)
|
|
# define MZ_DLLIMPORT __declspec(dllimport)
|
|
# define MZ_DLLEXPORT __declspec(dllexport)
|
|
# ifdef __mzscheme_private__
|
|
# define MZ_DLLSPEC __declspec(dllexport)
|
|
# else
|
|
# define MZ_DLLSPEC __declspec(dllimport)
|
|
# endif
|
|
#else
|
|
# define MZ_DLLSPEC
|
|
# define MZ_DLLIMPORT
|
|
# define MZ_DLLEXPORT
|
|
#endif
|
|
|
|
#define MZ_EXTERN extern MZ_DLLSPEC
|
|
|
|
#if defined(MZ_USE_JIT_PPC) || defined(MZ_USE_JIT_I386) || defined(MZ_USE_JIT_X86_64)
|
|
# define MZ_USE_JIT
|
|
#endif
|
|
|
|
/* Define _W64 for MSC if needed. */
|
|
#if defined(_MSC_VER) && !defined(_W64)
|
|
# if !defined(__midl) && (defined(_X86_) || defined(_M_IX86)) && _MSC_VER >= 1300
|
|
# define _W64 __w64
|
|
# else
|
|
# define _W64
|
|
# endif
|
|
#endif
|
|
|
|
/* PPC Linux plays a slimy trick: it defines strcpy() as a macro that
|
|
uses __extension__. This breaks the 3m xform. */
|
|
#if defined(MZ_XFORM) && defined(strcpy)
|
|
START_XFORM_SKIP;
|
|
static inline void _mzstrcpy(char *a, const char *b)
|
|
{
|
|
strcpy(a, b);
|
|
}
|
|
END_XFORM_SKIP;
|
|
# undef strcpy
|
|
# define strcpy _mzstrcpy
|
|
#endif
|
|
|
|
#ifdef __cplusplus
|
|
extern "C"
|
|
{
|
|
#endif
|
|
|
|
/*========================================================================*/
|
|
/* basic Scheme values */
|
|
/*========================================================================*/
|
|
|
|
typedef short Scheme_Type;
|
|
|
|
typedef int mzshort;
|
|
|
|
typedef unsigned int mzchar;
|
|
typedef int mzchar_int; /* includes EOF */
|
|
|
|
#ifdef INT64_AS_LONG_LONG
|
|
typedef _int64 mzlonglong;
|
|
typedef unsigned _int64 umzlonglong;
|
|
#else
|
|
# if defined(NO_LONG_LONG_TYPE) || defined(SIXTY_FOUR_BIT_INTEGERS)
|
|
typedef long mzlonglong;
|
|
typedef unsigned long umzlonglong;
|
|
# else
|
|
typedef long long mzlonglong;
|
|
typedef unsigned long long umzlonglong;
|
|
# endif
|
|
#endif
|
|
|
|
/* MzScheme values have the type `Scheme_Object *'. The Scheme_Object
|
|
structure declares just the header: a type tag and space for
|
|
hashing or extra flags; actual object types will extend this
|
|
structure.
|
|
|
|
For example, Scheme_Simple_Object defines a few variants. The
|
|
important thing is that it starts with a nested Scheme_Object
|
|
record.
|
|
|
|
The Scheme_Simple_Object struct is defined here, instead of in a
|
|
private header, so that macros can provide quick access. Of course,
|
|
don't access the fields of these structures directly; use the
|
|
macros instead. */
|
|
|
|
typedef struct Scheme_Object
|
|
{
|
|
Scheme_Type type; /* Anything that starts with a type field
|
|
can be a Scheme_Object */
|
|
|
|
/* For precise GC, the keyex field is used for all object types to
|
|
store a hash key extension. The low bit is not used for this
|
|
purpose, though. For string, pair, vector, and box values in all
|
|
variants of MzScheme, the low bit is set to 1 to indicate that
|
|
the object is immutable. Thus, the keyex field is needed even in
|
|
non-precise GC mode, so such structures embed
|
|
Scheme_Inclhash_Object */
|
|
|
|
MZ_HASH_KEY_EX
|
|
} Scheme_Object;
|
|
|
|
/* See note above on MZ_HASH_KEY_EX. To get the keyex field,
|
|
use MZ_OPT_HASH_KEY(iso), where iso is a pointer to a
|
|
Scheme_Inclhash_Object */
|
|
typedef struct Scheme_Inclhash_Object
|
|
{
|
|
Scheme_Object so;
|
|
MZ_OPT_HASH_KEY_EX
|
|
} Scheme_Inclhash_Object;
|
|
|
|
typedef struct Scheme_Simple_Object
|
|
{
|
|
Scheme_Inclhash_Object iso;
|
|
|
|
union
|
|
{
|
|
struct { mzchar *string_val; int tag_val; } char_str_val;
|
|
struct { char *string_val; int tag_val; } byte_str_val;
|
|
struct { void *ptr1, *ptr2; } two_ptr_val;
|
|
struct { int int1; int int2; } two_int_val;
|
|
struct { void *ptr; int pint; } ptr_int_val;
|
|
struct { void *ptr; long pint; } ptr_long_val;
|
|
struct { struct Scheme_Object *car, *cdr; } pair_val;
|
|
struct { mzshort len; mzshort *vec; } svector_val;
|
|
struct { void *val; Scheme_Object *type; } cptr_val;
|
|
} u;
|
|
} Scheme_Simple_Object;
|
|
|
|
typedef struct Scheme_Object *(*Scheme_Closure_Func)(struct Scheme_Object *);
|
|
|
|
/* Scheme_Small_Object is used for several types of MzScheme values: */
|
|
typedef struct {
|
|
Scheme_Object so;
|
|
union {
|
|
mzchar char_val;
|
|
Scheme_Object *ptr_value;
|
|
long int_val;
|
|
Scheme_Object *ptr_val;
|
|
} u;
|
|
} Scheme_Small_Object;
|
|
|
|
/* A floating-point number: */
|
|
typedef struct {
|
|
Scheme_Object so;
|
|
double double_val;
|
|
} Scheme_Double;
|
|
|
|
#ifdef MZ_USE_SINGLE_FLOATS
|
|
typedef struct {
|
|
Scheme_Object so;
|
|
float float_val;
|
|
} Scheme_Float;
|
|
#endif
|
|
|
|
typedef struct Scheme_Symbol {
|
|
Scheme_Inclhash_Object iso; /* 1 in low bit of keyex indicates uninterned */
|
|
int len;
|
|
char s[4]; /* Really, a number of chars to match `len' */
|
|
} Scheme_Symbol;
|
|
|
|
typedef struct Scheme_Vector {
|
|
Scheme_Inclhash_Object iso; /* 1 in low bit of keyex indicates immutable */
|
|
int size;
|
|
Scheme_Object *els[1];
|
|
} Scheme_Vector;
|
|
|
|
typedef struct Scheme_Print_Params Scheme_Print_Params;
|
|
typedef void (*Scheme_Type_Printer)(Scheme_Object *v, int for_display, Scheme_Print_Params *pp);
|
|
|
|
/* This file defines all the built-in types */
|
|
#ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "stypes.h"
|
|
#else
|
|
# include "../src/stypes.h"
|
|
#endif
|
|
|
|
/* This rather elaborate pair of NO-OPS is used to persuade the */
|
|
/* MSVC compiler that we really do want to convert between pointers */
|
|
/* and integers. */
|
|
|
|
#if defined(_MSC_VER)
|
|
# define OBJ_TO_LONG(ptr) ((long)(_W64 long)(ptr))
|
|
# define LONG_TO_OBJ(l) ((Scheme_Object *)(void *)(_W64 long)(long)(l))
|
|
#else
|
|
# define OBJ_TO_LONG(ptr) ((long)(ptr))
|
|
# define LONG_TO_OBJ(l) ((Scheme_Object *)(void *)(long)(l))
|
|
#endif
|
|
|
|
/* Scheme Objects are always aligned on 2-byte boundaries, so */
|
|
/* words of type Scheme_Object * will always have zero in the */
|
|
/* least significant bit. Therefore, we can use this bit as a */
|
|
/* tag to indicate that the `pointer' isn't really a pointer */
|
|
/* but a 31-bit signed immediate integer. */
|
|
|
|
#define SCHEME_INTP(obj) (OBJ_TO_LONG(obj) & 0x1)
|
|
|
|
#define SAME_PTR(a, b) ((a) == (b))
|
|
#define NOT_SAME_PTR(a, b) ((a) != (b))
|
|
|
|
#define SAME_OBJ(a, b) SAME_PTR(a, b)
|
|
#define NOT_SAME_OBJ(a, b) NOT_SAME_PTR(a, b)
|
|
|
|
#define SAME_TYPE(a, b) ((Scheme_Type)(a) == (Scheme_Type)(b))
|
|
#define NOT_SAME_TYPE(a, b) ((Scheme_Type)(a) != (Scheme_Type)(b))
|
|
|
|
# define SCHEME_TYPE(obj) (SCHEME_INTP(obj)?(Scheme_Type)scheme_integer_type:((Scheme_Object *)(obj))->type)
|
|
# define _SCHEME_TYPE(obj) ((obj)->type) /* unsafe version */
|
|
|
|
/*========================================================================*/
|
|
/* basic Scheme predicates */
|
|
/*========================================================================*/
|
|
|
|
#define SCHEME_CHARP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_char_type)
|
|
/* SCHEME_INTP defined above */
|
|
#define SCHEME_DBLP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_double_type)
|
|
#ifdef MZ_USE_SINGLE_FLOATS
|
|
# define SCHEME_FLTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_float_type)
|
|
# define SCHEME_FLOATP(obj) (SCHEME_FLTP(obj) || SCHEME_DBLP(obj))
|
|
#else
|
|
# define SCHEME_FLTP SCHEME_DBLP
|
|
# define SCHEME_FLOATP SCHEME_DBLP
|
|
#endif
|
|
#define SCHEME_BIGNUMP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_bignum_type)
|
|
#define SCHEME_RATIONALP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_rational_type)
|
|
#define SCHEME_COMPLEXP(obj) (!SCHEME_INTP(obj) && ((_SCHEME_TYPE(obj) >= scheme_complex_izi_type) && (_SCHEME_TYPE(obj) <= scheme_complex_type)))
|
|
#define SCHEME_COMPLEX_IZIP(obj) (SCHEME_TYPE(obj) == scheme_complex_izi_type)
|
|
#define SCHEME_EXACT_INTEGERP(obj) (SCHEME_INTP(obj) || (_SCHEME_TYPE(obj) == scheme_bignum_type))
|
|
#define SCHEME_EXACT_REALP(obj) (SCHEME_INTP(obj) || (_SCHEME_TYPE(obj) == scheme_bignum_type) || (_SCHEME_TYPE(obj) == scheme_rational_type))
|
|
#define SCHEME_REALP(obj) (SCHEME_INTP(obj) || ((_SCHEME_TYPE(obj) >= scheme_bignum_type) && (_SCHEME_TYPE(obj) <= scheme_complex_izi_type)))
|
|
#define SCHEME_NUMBERP(obj) (SCHEME_INTP(obj) || ((_SCHEME_TYPE(obj) >= scheme_bignum_type) && (_SCHEME_TYPE(obj) <= scheme_complex_type)))
|
|
|
|
#define SCHEME_CHAR_STRINGP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_char_string_type)
|
|
#define SCHEME_MUTABLE_CHAR_STRINGP(obj) (SCHEME_CHAR_STRINGP(obj) && SCHEME_MUTABLEP(obj))
|
|
#define SCHEME_IMMUTABLE_CHAR_STRINGP(obj) (SCHEME_CHAR_STRINGP(obj) && SCHEME_IMMUTABLEP(obj))
|
|
|
|
#define SCHEME_BYTE_STRINGP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_byte_string_type)
|
|
#define SCHEME_MUTABLE_BYTE_STRINGP(obj) (SCHEME_BYTE_STRINGP(obj) && SCHEME_MUTABLEP(obj))
|
|
#define SCHEME_IMMUTABLE_BYTE_STRINGP(obj) (SCHEME_BYTE_STRINGP(obj) && SCHEME_IMMUTABLEP(obj))
|
|
|
|
#define SCHEME_PATHP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_path_type)
|
|
/* A path is guranteed to have the same shape as a byte string */
|
|
|
|
#define SCHEME_PATH_STRINGP(x) (SCHEME_CHAR_STRINGP(x) || SCHEME_PATHP(x))
|
|
#define SCHEME_PATH_STRING_STR "path or string"
|
|
|
|
#define SCHEME_SYMBOLP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_symbol_type)
|
|
#define SCHEME_KEYWORDP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_keyword_type)
|
|
|
|
#define SCHEME_STRSYMP(obj) (SCHEME_CHAR_STRINGP(obj) || SCHEME_SYMBOLP(obj))
|
|
|
|
#define SCHEME_BOOLP(obj) (SAME_OBJ(obj, scheme_true) || SAME_OBJ(obj, scheme_false))
|
|
#define SCHEME_FALSEP(obj) SAME_OBJ((obj), scheme_false)
|
|
#define SCHEME_TRUEP(obj) (!SCHEME_FALSEP(obj))
|
|
#define SCHEME_EOFP(obj) SAME_OBJ((obj), scheme_eof)
|
|
#define SCHEME_VOIDP(obj) SAME_OBJ((obj), scheme_void)
|
|
|
|
#define SCHEME_NULLP(obj) SAME_OBJ(obj, scheme_null)
|
|
#define SCHEME_PAIRP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_pair_type)
|
|
#define SCHEME_MUTABLE_PAIRP(obj) (SCHEME_PAIRP(obj) && SCHEME_MUTABLEP(obj))
|
|
#define SCHEME_IMMUTABLE_PAIRP(obj) (SCHEME_PAIRP(obj) && SCHEME_IMMUTABLEP(obj))
|
|
#define SCHEME_LISTP(obj) (SCHEME_NULLP(obj) || SCHEME_PAIRP(obj))
|
|
|
|
#define SCHEME_RPAIRP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_raw_pair_type)
|
|
|
|
#define SCHEME_BOXP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_box_type)
|
|
#define SCHEME_MUTABLE_BOXP(obj) (SCHEME_BOXP(obj) && SCHEME_MUTABLEP(obj))
|
|
#define SCHEME_IMMUTABLE_BOXP(obj) (SCHEME_BOXP(obj) && SCHEME_IMMUTABLEP(obj))
|
|
|
|
#define SCHEME_BUCKTP(obj) SAME_TYPE(SCHEME_TYPE(obj),scheme_bucket_table_type)
|
|
#define SCHEME_HASHTP(obj) SAME_TYPE(SCHEME_TYPE(obj),scheme_hash_table_type)
|
|
|
|
#define SCHEME_VECTORP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_vector_type)
|
|
#define SCHEME_MUTABLE_VECTORP(obj) (SCHEME_VECTORP(obj) && SCHEME_MUTABLEP(obj))
|
|
#define SCHEME_IMMUTABLE_VECTORP(obj) (SCHEME_VECTORP(obj) && SCHEME_IMMUTABLEP(obj))
|
|
|
|
#define SCHEME_STRUCTP(obj) (SAME_TYPE(SCHEME_TYPE(obj), scheme_structure_type) || SAME_TYPE(SCHEME_TYPE(obj), scheme_proc_struct_type))
|
|
#define SCHEME_STRUCT_TYPEP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_struct_type_type)
|
|
|
|
#define SCHEME_INPORTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_input_port_type)
|
|
#define SCHEME_OUTPORTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_output_port_type)
|
|
|
|
#define SCHEME_THREADP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_thread_type)
|
|
#define SCHEME_CUSTODIANP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_custodian_type)
|
|
#define SCHEME_SEMAP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_sema_type)
|
|
#define SCHEME_CHANNELP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_channel_type)
|
|
#define SCHEME_CHANNEL_PUTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_channel_put_type)
|
|
|
|
#define SCHEME_CONFIGP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_config_type)
|
|
#define SCHEME_NAMESPACEP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_namespace_type)
|
|
#define SCHEME_WEAKP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_weak_box_type)
|
|
|
|
#define SCHEME_STXP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_stx_type)
|
|
|
|
#define SCHEME_UDPP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_udp_type)
|
|
#define SCHEME_UDP_EVTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_udp_evt_type)
|
|
|
|
#define SCHEME_CPTRP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_cpointer_type)
|
|
|
|
#define SCHEME_MUTABLEP(obj) (!(MZ_OPT_HASH_KEY((Scheme_Inclhash_Object *)(obj)) & 0x1))
|
|
#define SCHEME_IMMUTABLEP(obj) (MZ_OPT_HASH_KEY((Scheme_Inclhash_Object *)(obj)) & 0x1)
|
|
|
|
#define GUARANTEE_TYPE(fname, argnum, typepred, typenam) \
|
|
(typepred (argv [argnum]) \
|
|
? argv [argnum] \
|
|
: (scheme_wrong_type (fname, typenam, argnum, argc, argv), argv [argnum]))
|
|
|
|
#define GUARANTEE_BOOL(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_BOOLP, "boolean")
|
|
#define GUARANTEE_CHAR(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_CHARP, "character")
|
|
#define GUARANTEE_INTEGER(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_INTP, "integer")
|
|
#define GUARANTEE_PAIR(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_PAIRP, "pair")
|
|
#define GUARANTEE_PROCEDURE(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_PROCP, "procedure")
|
|
#define GUARANTEE_CHAR_STRING(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_CHAR_STRINGP, "string")
|
|
#define GUARANTEE_STRSYM(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_STRSYMP, "string or symbol")
|
|
#define GUARANTEE_SYMBOL(fname, argnum) GUARANTEE_TYPE (fname, argnum, SCHEME_SYMBOLP, "symbol")
|
|
|
|
/*========================================================================*/
|
|
/* basic Scheme accessors */
|
|
/*========================================================================*/
|
|
|
|
#define SCHEME_CHAR_VAL(obj) (((Scheme_Small_Object *)(obj))->u.char_val)
|
|
#define SCHEME_INT_VAL(obj) (OBJ_TO_LONG(obj)>>1)
|
|
#define SCHEME_DBL_VAL(obj) (((Scheme_Double *)(obj))->double_val)
|
|
#ifdef MZ_USE_SINGLE_FLOATS
|
|
# define SCHEME_FLT_VAL(obj) (((Scheme_Float *)(obj))->float_val)
|
|
# define SCHEME_FLOAT_VAL(obj) (SCHEME_DBLP(obj) ? SCHEME_DBL_VAL(obj) : SCHEME_FLT_VAL(obj))
|
|
#else
|
|
# define SCHEME_FLT_VAL(x) ((float)(SCHEME_DBL_VAL(x)))
|
|
# define SCHEME_FLOAT_VAL SCHEME_DBL_VAL
|
|
# define scheme_make_float(x) scheme_make_double((double)x)
|
|
#endif
|
|
|
|
#define SCHEME_CHAR_STR_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.char_str_val.string_val)
|
|
#define SCHEME_CHAR_STRTAG_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.char_str_val.tag_val)
|
|
#define SCHEME_CHAR_STRLEN_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.char_str_val.tag_val)
|
|
#define SCHEME_BYTE_STR_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.byte_str_val.string_val)
|
|
#define SCHEME_BYTE_STRTAG_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.byte_str_val.tag_val)
|
|
#define SCHEME_BYTE_STRLEN_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.byte_str_val.tag_val)
|
|
#define SCHEME_PATH_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.byte_str_val.string_val)
|
|
#define SCHEME_PATH_LEN(obj) (((Scheme_Simple_Object *)(obj))->u.byte_str_val.tag_val)
|
|
#define SCHEME_SYM_VAL(obj) (((Scheme_Symbol *)((Scheme_Simple_Object *)(obj)))->s)
|
|
#define SCHEME_SYM_LEN(obj) (((Scheme_Symbol *)((Scheme_Simple_Object *)(obj)))->len)
|
|
#define SCHEME_KEYWORD_VAL(obj) SCHEME_SYM_VAL(obj)
|
|
#define SCHEME_KEYWORD_LEN(obj) SCHEME_SYM_LEN(obj)
|
|
|
|
#define SCHEME_SYMSTR_OFFSET(obj) ((unsigned long)SCHEME_SYM_VAL(obj)-(unsigned long)(obj))
|
|
|
|
/* return a `char *' pointing to the string or the symbol name */
|
|
#define SCHEME_STRSYM_VAL(obj) (SCHEME_SYMBOLP(obj) ? SCHEME_SYM_VAL(obj) : SCHEME_CHAR_STR_VAL(obj))
|
|
|
|
#define SCHEME_BOX_VAL(obj) (((Scheme_Small_Object *)(obj))->u.ptr_val)
|
|
|
|
#define SCHEME_CAR(obj) (((Scheme_Simple_Object *)(obj))->u.pair_val.car)
|
|
#define SCHEME_CDR(obj) (((Scheme_Simple_Object *)(obj))->u.pair_val.cdr)
|
|
|
|
#define SCHEME_CADR(obj) (SCHEME_CAR (SCHEME_CDR (obj)))
|
|
#define SCHEME_CAAR(obj) (SCHEME_CAR (SCHEME_CAR (obj)))
|
|
#define SCHEME_CDDR(obj) (SCHEME_CDR (SCHEME_CDR (obj)))
|
|
|
|
#define SCHEME_VEC_SIZE(obj) (((Scheme_Vector *)(obj))->size)
|
|
#define SCHEME_VEC_ELS(obj) (((Scheme_Vector *)(obj))->els)
|
|
#define SCHEME_VEC_BASE(obj) SCHEME_VEC_ELS(obj)
|
|
|
|
#define SCHEME_ENVBOX_VAL(obj) (*((Scheme_Object **)(obj)))
|
|
#define SCHEME_WEAK_BOX_VAL(obj) SCHEME_BOX_VAL(obj)
|
|
|
|
#define SCHEME_PTR_VAL(obj) (((Scheme_Small_Object *)(obj))->u.ptr_val)
|
|
#define SCHEME_PTR1_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.two_ptr_val.ptr1)
|
|
#define SCHEME_PTR2_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.two_ptr_val.ptr2)
|
|
#define SCHEME_IPTR_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.ptr_int_val.ptr)
|
|
#define SCHEME_LPTR_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.ptr_long_val.ptr)
|
|
#define SCHEME_INT1_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.two_int_val.int1)
|
|
#define SCHEME_INT2_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.two_int_val.int2)
|
|
#define SCHEME_PINT_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.ptr_int_val.pint)
|
|
#define SCHEME_PLONG_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.ptr_long_val.pint)
|
|
|
|
#define SCHEME_CPTR_VAL(obj) (((Scheme_Simple_Object *)(obj))->u.cptr_val.val)
|
|
#define SCHEME_CPTR_TYPE(obj) (((Scheme_Simple_Object *)(obj))->u.cptr_val.type)
|
|
|
|
#define SCHEME_SET_IMMUTABLE(obj) ((MZ_OPT_HASH_KEY((Scheme_Inclhash_Object *)(obj)) |= 0x1))
|
|
#define SCHEME_SET_CHAR_STRING_IMMUTABLE(obj) SCHEME_SET_IMMUTABLE(obj)
|
|
#define SCHEME_SET_BYTE_STRING_IMMUTABLE(obj) SCHEME_SET_IMMUTABLE(obj)
|
|
#define SCHEME_SET_PAIR_IMMUTABLE(obj) SCHEME_SET_IMMUTABLE(obj)
|
|
#define SCHEME_SET_VECTOR_IMMUTABLE(obj) SCHEME_SET_IMMUTABLE(obj)
|
|
#define SCHEME_SET_BOX_IMMUTABLE(obj) SCHEME_SET_IMMUTABLE(obj)
|
|
|
|
/*========================================================================*/
|
|
/* fast basic Scheme constructor macros */
|
|
/*========================================================================*/
|
|
|
|
#define scheme_make_integer(i) LONG_TO_OBJ ((OBJ_TO_LONG(i) << 1) | 0x1)
|
|
#define scheme_make_character(ch) ((((mzchar)ch) < 256) ? scheme_char_constants[(unsigned char)(ch)] : scheme_make_char(ch))
|
|
#define scheme_make_ascii_character(ch) scheme_char_constants[(unsigned char)(ch)]
|
|
|
|
#define scheme_uchar_find(table, x) (table[(x >> 8) & 0x1FFF][x & 0xFF])
|
|
|
|
#define scheme_isblank(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x1)
|
|
#define scheme_issymbol(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x2)
|
|
#define scheme_ispunc(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x4)
|
|
#define scheme_iscontrol(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x8)
|
|
#define scheme_isspace(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x10)
|
|
/* #define scheme_isSOMETHING(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x20) - not yet used */
|
|
#define scheme_isdigit(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x40)
|
|
#define scheme_isalpha(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x80)
|
|
#define scheme_istitle(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x100)
|
|
#define scheme_isupper(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x200)
|
|
#define scheme_islower(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x400)
|
|
#define scheme_isgraphic(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x800)
|
|
#define scheme_iscaseignorable(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x1000)
|
|
#define scheme_isspecialcasing(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x2000)
|
|
#define scheme_needs_decompose(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x4000)
|
|
#define scheme_needs_maybe_compose(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x8000)
|
|
|
|
#define scheme_iscased(x) ((scheme_uchar_find(scheme_uchar_table, x)) & 0x700)
|
|
|
|
#define scheme_toupper(x) (x + scheme_uchar_ups[scheme_uchar_find(scheme_uchar_cases_table, x)])
|
|
#define scheme_tolower(x) (x + scheme_uchar_downs[scheme_uchar_find(scheme_uchar_cases_table, x)])
|
|
#define scheme_totitle(x) (x + scheme_uchar_titles[scheme_uchar_find(scheme_uchar_cases_table, x)])
|
|
#define scheme_tofold(x) (x + scheme_uchar_folds[scheme_uchar_find(scheme_uchar_cases_table, x)])
|
|
#define scheme_combining_class(x) (scheme_uchar_combining_classes[scheme_uchar_find(scheme_uchar_cases_table, x)])
|
|
|
|
#define scheme_general_category(x) ((scheme_uchar_find(scheme_uchar_cats_table, x)) & 0x1F)
|
|
/* Note: 3 bits available in the cats table */
|
|
|
|
/*========================================================================*/
|
|
/* procedure values */
|
|
/*========================================================================*/
|
|
|
|
/* Constants for flags in Scheme_Primitive_[Closed]_Proc.
|
|
Do not use them directly. */
|
|
#define SCHEME_PRIM_IS_FOLDING 1
|
|
#define SCHEME_PRIM_IS_PRIMITIVE 2
|
|
#define SCHEME_PRIM_IS_STRUCT_INDEXED_GETTER 4
|
|
#define SCHEME_PRIM_IS_STRUCT_PRED 8
|
|
#define SCHEME_PRIM_IS_PARAMETER 16
|
|
#define SCHEME_PRIM_IS_STRUCT_OTHER 32
|
|
#define SCHEME_PRIM_STRUCT_OTHER_TYPE_MASK (64 | 128)
|
|
#define SCHEME_PRIM_IS_MULTI_RESULT 256
|
|
#define SCHEME_PRIM_IS_BINARY_INLINED 512
|
|
#define SCHEME_PRIM_IS_USER_PARAMETER 1024
|
|
#define SCHEME_PRIM_IS_METHOD 2048
|
|
#define SCHEME_PRIM_IS_CLOSURE 4096
|
|
#define SCHEME_PRIM_IS_NONCM 8192
|
|
#define SCHEME_PRIM_IS_UNARY_INLINED 16384
|
|
|
|
#define SCHEME_PRIM_STRUCT_TYPE_INDEXLESS_GETTER 0
|
|
#define SCHEME_PRIM_STRUCT_TYPE_CONSTR 64
|
|
#define SCHEME_PRIM_STRUCT_TYPE_INDEXLESS_SETTER 128
|
|
#define SCHEME_PRIM_STRUCT_TYPE_INDEXED_SETTER (64 | 128)
|
|
|
|
#define SCHEME_PRIM_IS_STRUCT_PROC (SCHEME_PRIM_IS_STRUCT_INDEXED_GETTER | SCHEME_PRIM_IS_STRUCT_PRED | SCHEME_PRIM_IS_STRUCT_OTHER)
|
|
|
|
#define SCHEME_PRIM_PROC_FLAGS(x) (((Scheme_Prim_Proc_Header *)x)->flags)
|
|
|
|
typedef struct Scheme_Object *(Scheme_Prim)(int argc, Scheme_Object *argv[]);
|
|
|
|
typedef struct Scheme_Object *(Scheme_Primitive_Closure_Proc)(int argc, struct Scheme_Object *argv[], Scheme_Object *p);
|
|
|
|
#define SCHEME_MAX_ARGS 0x3FFFFFFE
|
|
|
|
typedef struct {
|
|
Scheme_Object so;
|
|
short flags;
|
|
} Scheme_Prim_Proc_Header;
|
|
|
|
typedef struct {
|
|
Scheme_Prim_Proc_Header pp;
|
|
Scheme_Primitive_Closure_Proc *prim_val;
|
|
const char *name;
|
|
mzshort mina;
|
|
/* If mina < 0; mina is negated case count minus one for a case-lambda
|
|
generated by mzc, where the primitive checks argument arity
|
|
itself, and mu.cases is available instead of mu.maxa. */
|
|
union {
|
|
mzshort *cases;
|
|
mzshort maxa; /* > SCHEME_MAX_ARGS => any number of arguments */
|
|
} mu;
|
|
} Scheme_Primitive_Proc;
|
|
|
|
typedef struct {
|
|
Scheme_Primitive_Proc pp;
|
|
mzshort minr, maxr;
|
|
/* Never combined with a closure */
|
|
} Scheme_Prim_W_Result_Arity;
|
|
|
|
typedef struct Scheme_Primitive_Closure {
|
|
Scheme_Primitive_Proc p;
|
|
/* The rest is here only if SCHEME_PRIM_IS_CLOSURE
|
|
is set in p.pp.flags. */
|
|
#ifdef MZ_PRECISE_GC
|
|
mzshort count;
|
|
#endif
|
|
Scheme_Object *val[1];
|
|
} Scheme_Primitive_Closure;
|
|
|
|
#define SCHEME_PRIM_CLOSURE_ELS(p) ((Scheme_Primitive_Closure *)p)->val
|
|
|
|
/* ------ Old-style primitive closures ------- */
|
|
|
|
typedef struct Scheme_Object *(Scheme_Closed_Prim)(void *d, int argc, struct Scheme_Object *argv[]);
|
|
|
|
typedef struct {
|
|
Scheme_Prim_Proc_Header pp;
|
|
Scheme_Closed_Prim *prim_val;
|
|
void *data;
|
|
const char *name;
|
|
mzshort mina, maxa; /* mina == -2 => maxa is negated case count and
|
|
record is a Scheme_Closed_Case_Primitive_Proc */
|
|
} Scheme_Closed_Primitive_Proc;
|
|
|
|
typedef struct {
|
|
Scheme_Closed_Primitive_Proc p;
|
|
mzshort *cases;
|
|
} Scheme_Closed_Case_Primitive_Proc;
|
|
|
|
typedef struct {
|
|
Scheme_Closed_Primitive_Proc p;
|
|
mzshort minr, maxr;
|
|
} Scheme_Closed_Prim_W_Result_Arity;
|
|
|
|
/* ------------------------------------------------- */
|
|
/* mzc closure glue
|
|
The following are used by mzc to implement closures.
|
|
*/
|
|
|
|
#define _scheme_fill_prim_closure(rec, cfunc, nm, amin, amax, flgs) \
|
|
((rec)->pp.so.type = scheme_prim_type, \
|
|
(rec)->prim_val = cfunc, \
|
|
(rec)->name = nm, \
|
|
(rec)->mina = amin, \
|
|
(rec)->mu.maxa = (amax == -1 ? SCHEME_MAX_ARGS + 1 : amax), \
|
|
(rec)->pp.flags = flgs, \
|
|
rec)
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
# define _scheme_fill_prim_closure_post(rec, cfunc, nm, amin, amax, flgs, ln) \
|
|
((rec)->count = ln, \
|
|
_scheme_fill_prim_closure(&(rec)->p, cfunc, nm, amin, amax, \
|
|
flgs | SCHEME_PRIM_IS_CLOSURE))
|
|
#else
|
|
# define _scheme_fill_prim_closure_post(rec, cfunc, nm, amin, amax, flgs, ln) \
|
|
_scheme_fill_prim_closure(&(rec)->p, cfunc, nm, amin, amax, flgs)
|
|
#endif
|
|
|
|
#define _scheme_fill_prim_case_closure(rec, cfunc, nm, ccount, cses, flgs) \
|
|
((rec)->pp.so.type = scheme_prim_type, \
|
|
(rec)->prim_val = cfunc, \
|
|
(rec)->name = nm, \
|
|
(rec)->mina = -(ccount+1), \
|
|
(rec)->pp.flags = flgs, \
|
|
(rec)->mu.cases = cses, \
|
|
rec)
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
# define _scheme_fill_prim_case_closure_post(rec, cfunc, nm, ccount, cses, flgs, ln) \
|
|
((rec)->count = ln, \
|
|
_scheme_fill_prim_case_closure(&((rec)->p), cfunc, nm, ccount, cses, \
|
|
flgs | SCHEME_PRIM_IS_CLOSURE))
|
|
#else
|
|
# define _scheme_fill_prim_case_closure_post(rec, cfunc, nm, ccount, cses, flgs, ln) \
|
|
_scheme_fill_prim_case_closure(&((rec)->p), cfunc, nm, ccount, cses, flgs)
|
|
#endif
|
|
|
|
/* ------------------------------------------------- */
|
|
|
|
#define SCHEME_PROCP(obj) (!SCHEME_INTP(obj) && ((_SCHEME_TYPE(obj) >= scheme_prim_type) && (_SCHEME_TYPE(obj) <= scheme_native_closure_type)))
|
|
#define SCHEME_SYNTAXP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_syntax_compiler_type)
|
|
#define SCHEME_PRIMP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_prim_type)
|
|
#define SCHEME_CLSD_PRIMP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_closed_prim_type)
|
|
#define SCHEME_CONTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_cont_type)
|
|
#define SCHEME_ECONTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_escaping_cont_type)
|
|
#define SCHEME_CONT_MARK_SETP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_cont_mark_set_type)
|
|
#define SCHEME_PROC_STRUCTP(obj) SAME_TYPE(SCHEME_TYPE(obj), scheme_proc_struct_type)
|
|
#define SCHEME_STRUCT_PROCP(obj) (SCHEME_PRIMP(obj) && (((Scheme_Primitive_Proc *)(obj))->pp.flags & SCHEME_PRIM_IS_STRUCT_PROC))
|
|
#define SCHEME_CLOSUREP(obj) (SAME_TYPE(SCHEME_TYPE(obj), scheme_closure_type) || SAME_TYPE(SCHEME_TYPE(obj), scheme_case_closure_type))
|
|
|
|
#define SCHEME_PRIM(obj) (((Scheme_Primitive_Proc *)(obj))->prim_val)
|
|
#define SCHEME_CLSD_PRIM(obj) (((Scheme_Closed_Primitive_Proc *)(obj))->prim_val)
|
|
#define SCHEME_CLSD_PRIM_DATA(obj) (((Scheme_Closed_Primitive_Proc *)(obj))->data)
|
|
#define SCHEME_CLOS_FUNC(obj) ((Scheme_Closure_Func)SCHEME_CAR(obj))
|
|
#define SCHEME_CLOS_DATA(obj) SCHEME_CDR(obj)
|
|
|
|
/*========================================================================*/
|
|
/* hash tables and environments */
|
|
/*========================================================================*/
|
|
|
|
typedef struct Scheme_Hash_Table
|
|
{
|
|
Scheme_Inclhash_Object iso;
|
|
int size, count, step;
|
|
Scheme_Object **keys;
|
|
Scheme_Object **vals;
|
|
void (*make_hash_indices)(void *v, long *h1, long *h2);
|
|
int (*compare)(void *v1, void *v2);
|
|
Scheme_Object *mutex;
|
|
int mcount; /* number of non-NULL keys, >= count (which is non-NULL vals) */
|
|
} Scheme_Hash_Table;
|
|
|
|
|
|
typedef struct Scheme_Bucket
|
|
{
|
|
Scheme_Object so;
|
|
void *val;
|
|
char *key;
|
|
} Scheme_Bucket;
|
|
|
|
typedef struct Scheme_Bucket_Table
|
|
{
|
|
Scheme_Object so;
|
|
int size, count, step;
|
|
Scheme_Bucket **buckets;
|
|
char weak, with_home;
|
|
void (*make_hash_indices)(void *v, long *h1, long *h2);
|
|
int (*compare)(void *v1, void *v2);
|
|
Scheme_Object *mutex;
|
|
} Scheme_Bucket_Table;
|
|
|
|
/* Hash tablekey types, used with scheme_hash_table */
|
|
enum {
|
|
SCHEME_hash_string,
|
|
SCHEME_hash_ptr,
|
|
SCHEME_hash_bound_id,
|
|
SCHEME_hash_weak_ptr
|
|
};
|
|
|
|
typedef struct Scheme_Env Scheme_Env;
|
|
|
|
#define SCHEME_VAR_BUCKET(obj) ((Scheme_Bucket *)(obj))
|
|
|
|
/*========================================================================*/
|
|
/* setjmpup (continuation) support */
|
|
/*========================================================================*/
|
|
|
|
#ifdef USE_MZ_SETJMP
|
|
typedef long mz_pre_jmp_buf[8];
|
|
#else
|
|
# define mz_pre_jmp_buf jmp_buf
|
|
#endif
|
|
|
|
#ifdef MZ_USE_JIT
|
|
typedef struct {
|
|
mz_pre_jmp_buf jb;
|
|
unsigned long stack_frame; /* declared as `long' to hide pointer from 3m xform */
|
|
} mz_one_jit_jmp_buf;
|
|
typedef mz_one_jit_jmp_buf mz_jit_jmp_buf[1];
|
|
#else
|
|
# define mz_jit_jmp_buf mz_pre_jmp_buf
|
|
#endif
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
typedef struct {
|
|
mz_jit_jmp_buf jb;
|
|
long gcvs; /* declared as `long' to hide pointer from 3m xform */
|
|
long gcvs_cnt;
|
|
} mz_jmp_buf;
|
|
#else
|
|
# define mz_jmp_buf mz_jit_jmp_buf
|
|
#endif
|
|
|
|
/* Like setjmp & longjmp, but you can jmp to a deeper stack position */
|
|
/* Intialize a Scheme_Jumpup_Buf record before using it */
|
|
typedef struct Scheme_Jumpup_Buf {
|
|
void *stack_from, *stack_copy;
|
|
long stack_size, stack_max_size;
|
|
struct Scheme_Cont *cont; /* for sharing continuation tails */
|
|
mz_jmp_buf buf;
|
|
#ifdef MZ_PRECISE_GC
|
|
void *gc_var_stack;
|
|
void *external_stack;
|
|
#endif
|
|
} Scheme_Jumpup_Buf;
|
|
|
|
typedef struct Scheme_Jumpup_Buf_Holder {
|
|
Scheme_Type type; /* for precise GC only */
|
|
Scheme_Jumpup_Buf buf;
|
|
} Scheme_Jumpup_Buf_Holder;
|
|
|
|
typedef struct Scheme_Continuation_Jump_State {
|
|
struct Scheme_Escaping_Cont *jumping_to_continuation;
|
|
union {
|
|
Scheme_Object **vals;
|
|
Scheme_Object *val;
|
|
} u;
|
|
mzshort num_vals;
|
|
short is_kill;
|
|
} Scheme_Continuation_Jump_State;
|
|
|
|
/* A mark position is in odd number, so that it can be
|
|
viewed as a pointer (i.e., a fixnum): */
|
|
#define MZ_MARK_POS_TYPE long
|
|
/* A mark "pointer" is an offset into the stack: */
|
|
#define MZ_MARK_STACK_TYPE long
|
|
|
|
typedef struct Scheme_Cont_Frame_Data {
|
|
MZ_MARK_POS_TYPE cont_mark_pos;
|
|
MZ_MARK_STACK_TYPE cont_mark_stack;
|
|
void *cache;
|
|
} Scheme_Cont_Frame_Data;
|
|
|
|
/*========================================================================*/
|
|
/* threads */
|
|
/*========================================================================*/
|
|
|
|
typedef void (Scheme_Close_Custodian_Client)(Scheme_Object *o, void *data);
|
|
typedef void (*Scheme_Exit_Closer_Func)(Scheme_Object *, Scheme_Close_Custodian_Client *, void *);
|
|
typedef Scheme_Object *(*Scheme_Custodian_Extractor)(Scheme_Object *o);
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
typedef struct Scheme_Object Scheme_Custodian_Reference;
|
|
#else
|
|
typedef struct Scheme_Custodian *Scheme_Custodian_Reference;
|
|
#endif
|
|
|
|
typedef struct Scheme_Custodian Scheme_Custodian;
|
|
typedef Scheme_Bucket_Table Scheme_Thread_Cell_Table;
|
|
typedef struct Scheme_Config Scheme_Config;
|
|
|
|
typedef int (*Scheme_Ready_Fun)(Scheme_Object *o);
|
|
typedef void (*Scheme_Needs_Wakeup_Fun)(Scheme_Object *, void *);
|
|
typedef Scheme_Object *(*Scheme_Sync_Sema_Fun)(Scheme_Object *, int *repost);
|
|
typedef int (*Scheme_Sync_Filter_Fun)(Scheme_Object *);
|
|
|
|
/* The Scheme_Thread structure represents a MzScheme thread. */
|
|
|
|
typedef struct Scheme_Thread {
|
|
Scheme_Object so;
|
|
|
|
struct Scheme_Thread *next;
|
|
struct Scheme_Thread *prev;
|
|
|
|
struct Scheme_Thread_Set *t_set_parent;
|
|
Scheme_Object *t_set_next;
|
|
Scheme_Object *t_set_prev;
|
|
|
|
mz_jmp_buf *error_buf;
|
|
Scheme_Continuation_Jump_State cjs;
|
|
Scheme_Object *current_escape_cont_key;
|
|
|
|
Scheme_Thread_Cell_Table *cell_values;
|
|
Scheme_Config *init_config;
|
|
|
|
Scheme_Object *init_break_cell;
|
|
int can_break_at_swap;
|
|
|
|
Scheme_Object **runstack;
|
|
Scheme_Object **runstack_start;
|
|
long runstack_size;
|
|
struct Scheme_Saved_Stack *runstack_saved;
|
|
Scheme_Object **runstack_tmp_keep;
|
|
|
|
/* in case of bouncing, we keep a recently
|
|
released runstack; it's dropped on GC, though */
|
|
Scheme_Object **spare_runstack;
|
|
long spare_runstack_size;
|
|
|
|
struct Scheme_Thread **runstack_owner;
|
|
struct Scheme_Saved_Stack *runstack_swapped;
|
|
|
|
MZ_MARK_POS_TYPE cont_mark_pos; /* depth of the continuation chain */
|
|
MZ_MARK_STACK_TYPE cont_mark_stack; /* current mark stack position */
|
|
struct Scheme_Cont_Mark **cont_mark_stack_segments;
|
|
int cont_mark_seg_count;
|
|
|
|
struct Scheme_Thread **cont_mark_stack_owner;
|
|
struct Scheme_Cont_Mark *cont_mark_stack_swapped;
|
|
|
|
long engine_weight;
|
|
|
|
void *stack_start, *stack_end;
|
|
Scheme_Jumpup_Buf jmpup_buf;
|
|
|
|
long *cc_ok;
|
|
long cc_ok_save;
|
|
struct Scheme_Dynamic_Wind *dw;
|
|
|
|
int running;
|
|
Scheme_Object *suspended_box; /* contains pointer to thread when it's suspended */
|
|
Scheme_Object *resumed_box; /* contains pointer to thread when it's resumed */
|
|
Scheme_Object *dead_box; /* contains non-zero when the thread is dead */
|
|
Scheme_Object *running_box; /* contains pointer to thread when it's running */
|
|
|
|
struct Scheme_Thread *nester, *nestee;
|
|
|
|
double sleep_end; /* blocker has starting sleep time */
|
|
int block_descriptor;
|
|
Scheme_Object *blocker; /* semaphore or port */
|
|
Scheme_Ready_Fun block_check;
|
|
Scheme_Needs_Wakeup_Fun block_needs_wakeup;
|
|
char ran_some;
|
|
char suspend_to_kill;
|
|
|
|
short overflow_set;
|
|
struct Scheme_Overflow *overflow;
|
|
mz_jmp_buf *overflow_buf;
|
|
void *o_start;
|
|
|
|
struct Scheme_Comp_Env *current_local_env;
|
|
Scheme_Object *current_local_mark;
|
|
Scheme_Object *current_local_name;
|
|
Scheme_Object *current_local_certs;
|
|
Scheme_Object *current_local_modidx;
|
|
Scheme_Env *current_local_menv;
|
|
|
|
char skip_error;
|
|
|
|
Scheme_Object *(*overflow_k)(void);
|
|
Scheme_Object *overflow_reply;
|
|
|
|
/* content of tail_buffer is zeroed on GC, unless
|
|
runstack_tmp_keep is set to tail_buffer */
|
|
Scheme_Object **tail_buffer;
|
|
int tail_buffer_size;
|
|
|
|
/* values_buffer is used to avoid allocating for `values'
|
|
calls. When ku.multiple.array is not the same as
|
|
values_buffer, then it can be zeroed at GC points. */
|
|
Scheme_Object **values_buffer;
|
|
int values_buffer_size;
|
|
|
|
union {
|
|
struct {
|
|
Scheme_Object *wait_expr;
|
|
} eval;
|
|
struct {
|
|
Scheme_Object *tail_rator;
|
|
Scheme_Object **tail_rands;
|
|
int tail_num_rands;
|
|
} apply;
|
|
struct {
|
|
Scheme_Object **array;
|
|
int count;
|
|
} multiple;
|
|
struct {
|
|
void *p1, *p2, *p3, *p4, *p5;
|
|
long i1, i2, i3, i4;
|
|
} k;
|
|
} ku;
|
|
|
|
short suspend_break;
|
|
short external_break;
|
|
|
|
Scheme_Simple_Object *list_stack;
|
|
int list_stack_pos;
|
|
|
|
Scheme_Hash_Table *rn_memory;
|
|
|
|
/* MzScheme client can use: */
|
|
void (*on_kill)(struct Scheme_Thread *p);
|
|
void *kill_data;
|
|
|
|
/* MzScheme use only: */
|
|
void (*private_on_kill)(void *);
|
|
void *private_kill_data;
|
|
void **private_kill_next; /* array of three pointers */
|
|
|
|
void **user_tls;
|
|
int user_tls_size;
|
|
|
|
/* save thread-specific GMP state: */
|
|
long gmp_tls[6];
|
|
|
|
struct Scheme_Thread_Custodian_Hop *mr_hop;
|
|
Scheme_Custodian_Reference *mref;
|
|
Scheme_Object *extra_mrefs; /* More owning custodians */
|
|
Scheme_Object *transitive_resumes; /* A hash table of running-boxes */
|
|
|
|
Scheme_Object *name;
|
|
} Scheme_Thread;
|
|
|
|
#if !SCHEME_DIRECT_EMBEDDED
|
|
# ifdef LINK_EXTENSIONS_BY_TABLE
|
|
# define scheme_current_thread (*scheme_current_thread_ptr)
|
|
# endif
|
|
#endif
|
|
|
|
typedef void (*Scheme_Kill_Action_Func)(void *);
|
|
|
|
# define BEGIN_ESCAPEABLE(func, data) \
|
|
{ mz_jmp_buf * volatile savebuf, newbuf; \
|
|
scheme_push_kill_action((Scheme_Kill_Action_Func)func, (void *)data); \
|
|
savebuf = scheme_current_thread->error_buf; \
|
|
scheme_current_thread->error_buf = &newbuf; \
|
|
if (scheme_setjmp(newbuf)) { \
|
|
func(data); \
|
|
scheme_longjmp(*savebuf, 1); \
|
|
} else {
|
|
# define END_ESCAPEABLE() \
|
|
scheme_pop_kill_action(); \
|
|
scheme_current_thread->error_buf = savebuf; } }
|
|
|
|
|
|
/*========================================================================*/
|
|
/* parameters */
|
|
/*========================================================================*/
|
|
|
|
enum {
|
|
MZCONFIG_ENV,
|
|
MZCONFIG_INPUT_PORT,
|
|
MZCONFIG_OUTPUT_PORT,
|
|
MZCONFIG_ERROR_PORT,
|
|
|
|
MZCONFIG_ERROR_DISPLAY_HANDLER,
|
|
MZCONFIG_ERROR_PRINT_VALUE_HANDLER,
|
|
|
|
MZCONFIG_EXIT_HANDLER,
|
|
|
|
MZCONFIG_EXN_HANDLER,
|
|
MZCONFIG_INIT_EXN_HANDLER,
|
|
|
|
MZCONFIG_EVAL_HANDLER,
|
|
MZCONFIG_COMPILE_HANDLER,
|
|
MZCONFIG_LOAD_HANDLER,
|
|
|
|
MZCONFIG_PRINT_HANDLER,
|
|
MZCONFIG_PROMPT_READ_HANDLER,
|
|
|
|
MZCONFIG_READTABLE,
|
|
MZCONFIG_READER_GUARD,
|
|
|
|
MZCONFIG_CAN_READ_GRAPH,
|
|
MZCONFIG_CAN_READ_COMPILED,
|
|
MZCONFIG_CAN_READ_BOX,
|
|
MZCONFIG_CAN_READ_PIPE_QUOTE,
|
|
MZCONFIG_CAN_READ_DOT,
|
|
MZCONFIG_CAN_READ_QUASI,
|
|
MZCONFIG_CAN_READ_READER,
|
|
MZCONFIG_READ_DECIMAL_INEXACT,
|
|
|
|
MZCONFIG_PRINT_GRAPH,
|
|
MZCONFIG_PRINT_STRUCT,
|
|
MZCONFIG_PRINT_BOX,
|
|
MZCONFIG_PRINT_VEC_SHORTHAND,
|
|
MZCONFIG_PRINT_HASH_TABLE,
|
|
MZCONFIG_PRINT_UNREADABLE,
|
|
|
|
MZCONFIG_CASE_SENS,
|
|
MZCONFIG_SQUARE_BRACKETS_ARE_PARENS,
|
|
MZCONFIG_CURLY_BRACES_ARE_PARENS,
|
|
|
|
MZCONFIG_HONU_MODE,
|
|
|
|
MZCONFIG_ERROR_PRINT_WIDTH,
|
|
MZCONFIG_ERROR_PRINT_CONTEXT_LENGTH,
|
|
|
|
MZCONFIG_ERROR_ESCAPE_HANDLER,
|
|
|
|
MZCONFIG_ALLOW_SET_UNDEFINED,
|
|
MZCONFIG_COMPILE_MODULE_CONSTS,
|
|
MZCONFIG_USE_JIT,
|
|
|
|
MZCONFIG_CUSTODIAN,
|
|
MZCONFIG_INSPECTOR,
|
|
MZCONFIG_CODE_INSPECTOR,
|
|
|
|
MZCONFIG_USE_COMPILED_KIND,
|
|
|
|
MZCONFIG_LOAD_DIRECTORY,
|
|
MZCONFIG_WRITE_DIRECTORY,
|
|
|
|
MZCONFIG_COLLECTION_PATHS,
|
|
|
|
MZCONFIG_PORT_PRINT_HANDLER,
|
|
|
|
MZCONFIG_LOAD_EXTENSION_HANDLER,
|
|
|
|
MZCONFIG_CURRENT_DIRECTORY,
|
|
|
|
MZCONFIG_RANDOM_STATE,
|
|
|
|
MZCONFIG_CURRENT_MODULE_RESOLVER,
|
|
MZCONFIG_CURRENT_MODULE_PREFIX,
|
|
|
|
MZCONFIG_ERROR_PRINT_SRCLOC,
|
|
|
|
MZCONFIG_CMDLINE_ARGS,
|
|
|
|
MZCONFIG_LOCALE,
|
|
|
|
MZCONFIG_SECURITY_GUARD,
|
|
|
|
MZCONFIG_PORT_COUNT_LINES,
|
|
|
|
MZCONFIG_SCHEDULER_RANDOM_STATE,
|
|
|
|
MZCONFIG_THREAD_SET,
|
|
|
|
__MZCONFIG_BUILTIN_COUNT__
|
|
};
|
|
|
|
/*========================================================================*/
|
|
/* ports */
|
|
/*========================================================================*/
|
|
|
|
typedef struct Scheme_Input_Port Scheme_Input_Port;
|
|
typedef struct Scheme_Output_Port Scheme_Output_Port;
|
|
typedef struct Scheme_Port Scheme_Port;
|
|
|
|
typedef long (*Scheme_Get_String_Fun)(Scheme_Input_Port *port,
|
|
char *buffer, long offset, long size,
|
|
int nonblock, Scheme_Object *unless);
|
|
typedef long (*Scheme_Peek_String_Fun)(Scheme_Input_Port *port,
|
|
char *buffer, long offset, long size,
|
|
Scheme_Object *skip,
|
|
int nonblock, Scheme_Object *unless);
|
|
typedef Scheme_Object *(*Scheme_Progress_Evt_Fun)(Scheme_Input_Port *port);
|
|
typedef int (*Scheme_Peeked_Read_Fun)(Scheme_Input_Port *port,
|
|
long amount,
|
|
Scheme_Object *unless_evt,
|
|
Scheme_Object *target_ch);
|
|
typedef int (*Scheme_In_Ready_Fun)(Scheme_Input_Port *port);
|
|
typedef void (*Scheme_Close_Input_Fun)(Scheme_Input_Port *port);
|
|
typedef void (*Scheme_Need_Wakeup_Input_Fun)(Scheme_Input_Port *, void *);
|
|
|
|
typedef Scheme_Object *(*Scheme_Location_Fun)(Scheme_Port *);
|
|
typedef void (*Scheme_Count_Lines_Fun)(Scheme_Port *);
|
|
typedef int (*Scheme_Buffer_Mode_Fun)(Scheme_Port *, int m);
|
|
|
|
typedef Scheme_Object *(*Scheme_Write_String_Evt_Fun)(Scheme_Output_Port *,
|
|
const char *str, long offset, long size);
|
|
typedef long (*Scheme_Write_String_Fun)(Scheme_Output_Port *,
|
|
const char *str, long offset, long size,
|
|
int rarely_block, int enable_break);
|
|
typedef int (*Scheme_Out_Ready_Fun)(Scheme_Output_Port *port);
|
|
typedef void (*Scheme_Close_Output_Fun)(Scheme_Output_Port *port);
|
|
typedef void (*Scheme_Need_Wakeup_Output_Fun)(Scheme_Output_Port *, void *);
|
|
typedef Scheme_Object *(*Scheme_Write_Special_Evt_Fun)(Scheme_Output_Port *, Scheme_Object *);
|
|
typedef int (*Scheme_Write_Special_Fun)(Scheme_Output_Port *, Scheme_Object *,
|
|
int nonblock);
|
|
|
|
struct Scheme_Port
|
|
{
|
|
Scheme_Object so;
|
|
char count_lines, was_cr;
|
|
long position, readpos, lineNumber, charsSinceNewline;
|
|
long column, oldColumn; /* column tracking with one tab/newline ungetc */
|
|
int utf8state;
|
|
Scheme_Location_Fun location_fun;
|
|
Scheme_Count_Lines_Fun count_lines_fun;
|
|
Scheme_Buffer_Mode_Fun buffer_mode_fun;
|
|
};
|
|
|
|
struct Scheme_Input_Port
|
|
{
|
|
struct Scheme_Port p;
|
|
char closed, pending_eof;
|
|
Scheme_Object *sub_type;
|
|
Scheme_Custodian_Reference *mref;
|
|
void *port_data;
|
|
Scheme_Get_String_Fun get_string_fun;
|
|
Scheme_Peek_String_Fun peek_string_fun;
|
|
Scheme_Progress_Evt_Fun progress_evt_fun;
|
|
Scheme_Peeked_Read_Fun peeked_read_fun;
|
|
Scheme_In_Ready_Fun byte_ready_fun;
|
|
Scheme_Close_Input_Fun close_fun;
|
|
Scheme_Need_Wakeup_Input_Fun need_wakeup_fun;
|
|
Scheme_Object *read_handler;
|
|
Scheme_Object *name;
|
|
Scheme_Object *peeked_read, *peeked_write;
|
|
Scheme_Object *progress_evt, *input_lock, *input_giveup, *input_extras, *input_extras_ready;
|
|
unsigned char ungotten[24];
|
|
int ungotten_count;
|
|
Scheme_Object *special, *ungotten_special;
|
|
Scheme_Object *unless, *unless_cache;
|
|
struct Scheme_Output_Port *output_half;
|
|
};
|
|
|
|
struct Scheme_Output_Port
|
|
{
|
|
struct Scheme_Port p;
|
|
short closed;
|
|
Scheme_Object *sub_type;
|
|
Scheme_Custodian_Reference *mref;
|
|
void *port_data;
|
|
Scheme_Write_String_Evt_Fun write_string_evt_fun;
|
|
Scheme_Write_String_Fun write_string_fun;
|
|
Scheme_Close_Output_Fun close_fun;
|
|
Scheme_Out_Ready_Fun ready_fun;
|
|
Scheme_Need_Wakeup_Output_Fun need_wakeup_fun;
|
|
Scheme_Write_Special_Evt_Fun write_special_evt_fun;
|
|
Scheme_Write_Special_Fun write_special_fun;
|
|
long pos;
|
|
Scheme_Object *name;
|
|
Scheme_Object *display_handler;
|
|
Scheme_Object *write_handler;
|
|
Scheme_Object *print_handler;
|
|
struct Scheme_Input_Port *input_half;
|
|
};
|
|
|
|
#define SCHEME_INPORT_VAL(obj) (((Scheme_Input_Port *)(obj))->port_data)
|
|
#define SCHEME_OUTPORT_VAL(obj) (((Scheme_Output_Port *)(obj))->port_data)
|
|
#define SCHEME_IPORT_NAME(obj) (((Scheme_Input_Port *)obj)->name)
|
|
|
|
#define SCHEME_SPECIAL (-2)
|
|
#define SCHEME_UNLESS_READY (-3)
|
|
|
|
/*========================================================================*/
|
|
/* exceptions */
|
|
/*========================================================================*/
|
|
|
|
/* This file includes the MZEXN constants */
|
|
#ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "schexn.h"
|
|
#else
|
|
# include "../src/schexn.h"
|
|
#endif
|
|
|
|
/*========================================================================*/
|
|
/* security */
|
|
/*========================================================================*/
|
|
|
|
#define SCHEME_GUARD_FILE_READ 0x1
|
|
#define SCHEME_GUARD_FILE_WRITE 0x2
|
|
#define SCHEME_GUARD_FILE_EXECUTE 0x4
|
|
#define SCHEME_GUARD_FILE_DELETE 0x8
|
|
#define SCHEME_GUARD_FILE_EXISTS 0x10
|
|
|
|
/*========================================================================*/
|
|
/* modules */
|
|
/*========================================================================*/
|
|
|
|
typedef void (*Scheme_Invoke_Proc)(Scheme_Env *env, long phase_shift,
|
|
Scheme_Object *self_modidx, void *data);
|
|
|
|
/*========================================================================*/
|
|
/* evaluation */
|
|
/*========================================================================*/
|
|
|
|
/* Exploit the fact that these should never be dereferenced: */
|
|
#ifndef FIRST_TWO_BYTES_ARE_LEGAL_ADDRESSES
|
|
# define MZ_EVAL_WAITING_CONSTANT ((Scheme_Object *)0x2)
|
|
# define MZ_APPLY_WAITING_CONSTANT ((Scheme_Object *)0x4)
|
|
# define MZ_MULTIPLE_VALUES_CONSTANT ((Scheme_Object *)0x6)
|
|
#endif
|
|
|
|
#ifdef MZ_EVAL_WAITING_CONSTANT
|
|
# define SCHEME_EVAL_WAITING MZ_EVAL_WAITING_CONSTANT
|
|
# define SCHEME_TAIL_CALL_WAITING MZ_APPLY_WAITING_CONSTANT
|
|
# define SCHEME_MULTIPLE_VALUES MZ_MULTIPLE_VALUES_CONSTANT
|
|
#else
|
|
# define SCHEME_TAIL_CALL_WAITING scheme_tail_call_waiting
|
|
# define SCHEME_EVAL_WAITING scheme_eval_waiting
|
|
# define SCHEME_MULTIPLE_VALUES scheme_multiple_values
|
|
#endif
|
|
|
|
#define SCHEME_ASSERT(expr,msg) ((expr) ? 1 : (scheme_signal_error(msg), 0))
|
|
|
|
#define scheme_eval_wait_expr (scheme_current_thread->ku.eval.wait_expr)
|
|
#define scheme_tail_rator (scheme_current_thread->ku.apply.tail_rator)
|
|
#define scheme_tail_num_rands (scheme_current_thread->ku.apply.tail_num_rands)
|
|
#define scheme_tail_rands (scheme_current_thread->ku.apply.tail_rands)
|
|
#define scheme_overflow_k (scheme_current_thread->overflow_k)
|
|
#define scheme_overflow_reply (scheme_current_thread->overflow_reply)
|
|
|
|
#define scheme_error_buf *(scheme_current_thread->error_buf)
|
|
#define scheme_jumping_to_continuation (scheme_current_thread->cjs.jumping_to_continuation)
|
|
|
|
#define scheme_multiple_count (scheme_current_thread->ku.multiple.count)
|
|
#define scheme_multiple_array (scheme_current_thread->ku.multiple.array)
|
|
|
|
#define scheme_setjmpup(b, base, s) scheme_setjmpup_relative(b, base, s, NULL)
|
|
|
|
#define scheme_do_eval_w_thread(r,n,e,f,p) scheme_do_eval(r,n,e,f)
|
|
#define scheme_apply_wp(r,n,a,p) scheme_apply(r,n,a)
|
|
#define scheme_apply_multi_wp(r,n,a,p) scheme_apply_multi(r,n,a)
|
|
#define scheme_apply_eb_wp(r,n,a,p) scheme_apply_eb(r,n,a)
|
|
#define scheme_apply_multi_eb_wp(r,n,a,p) scheme_apply_multi_eb(r,n,a)
|
|
|
|
#define _scheme_apply(r,n,rs) scheme_do_eval(r,n,rs,1)
|
|
#define _scheme_apply_multi(r,n,rs) scheme_do_eval(r,n,rs,-1)
|
|
#define _scheme_apply_wp(r,n,rs,p) scheme_do_eval_w_thread(r,n,rs,1,p)
|
|
#define _scheme_apply_multi_wp(r,n,rs,p) scheme_do_eval_w_thread(r,n,rs,-1,p)
|
|
#define _scheme_tail_apply scheme_tail_apply
|
|
#define _scheme_tail_apply_wp scheme_tail_apply_wp
|
|
|
|
#define _scheme_tail_eval scheme_tail_eval
|
|
#define _scheme_tail_eval_wp scheme_tail_eval_wp
|
|
|
|
#define _scheme_direct_apply_primitive_multi(prim, argc, argv) \
|
|
(((Scheme_Primitive_Proc *)prim)->prim_val(argc, argv, prim))
|
|
#define _scheme_direct_apply_primitive(prim, argc, argv) \
|
|
scheme_check_one_value(_scheme_direct_apply_primitive_multi(prim, argc, argv))
|
|
#define _scheme_direct_apply_primitive_closure_multi(prim, argc, argv) \
|
|
_scheme_direct_apply_primitive_multi(prim, argc, argv)
|
|
#define _scheme_direct_apply_primitive_closure(prim, argc, argv) \
|
|
_scheme_direct_apply_primitive(prim, argc, argv)
|
|
#define _scheme_direct_apply_closed_primitive_multi(prim, argc, argv) \
|
|
(((Scheme_Closed_Primitive_Proc *)prim)->prim_val(((Scheme_Closed_Primitive_Proc *)prim)->data, argc, argv))
|
|
#define _scheme_direct_apply_closed_primitive(prim, argc, argv) \
|
|
scheme_check_one_value(_scheme_direct_apply_closed_primitive_multi(prim, argc, argv))
|
|
|
|
#define _scheme_force_value(v) ((v == SCHEME_TAIL_CALL_WAITING) ? scheme_force_value(v) : v)
|
|
|
|
#define scheme_tail_apply_buffer_wp(n, p) ((p)->tail_buffer)
|
|
#define scheme_tail_apply_buffer(n) scheme_tail_apply_buffer_wp(n, scheme_current_thread)
|
|
|
|
#define _scheme_tail_apply_no_copy_wp_tcw(f, n, args, p, tcw) (p->ku.apply.tail_rator = f, p->ku.apply.tail_rands = args, p->ku.apply.tail_num_rands = n, tcw)
|
|
#define _scheme_tail_apply_no_copy_wp(f, n, args, p) _scheme_tail_apply_no_copy_wp_tcw(f, n, args, p, SCHEME_TAIL_CALL_WAITING)
|
|
#define _scheme_tail_apply_no_copy(f, n, args) _scheme_tail_apply_no_copy_wp(f, n, args, scheme_current_thread)
|
|
|
|
#define scheme_thread_block_w_thread(t,p) scheme_thread_block(t)
|
|
|
|
#if !SCHEME_DIRECT_EMBEDDED
|
|
# ifdef LINK_EXTENSIONS_BY_TABLE
|
|
# define scheme_fuel_counter (*scheme_fuel_counter_ptr)
|
|
# endif
|
|
#else
|
|
MZ_EXTERN volatile int scheme_fuel_counter;
|
|
#endif
|
|
|
|
#ifdef FUEL_AUTODECEREMENTS
|
|
# define DECREMENT_FUEL(f, p) (f)
|
|
#else
|
|
# define DECREMENT_FUEL(f, p) (f -= (p))
|
|
#endif
|
|
|
|
#define SCHEME_USE_FUEL(n) \
|
|
{ if (DECREMENT_FUEL(scheme_fuel_counter, n) <= 0) { scheme_out_of_fuel(); }}
|
|
|
|
#if SCHEME_DIRECT_EMBEDDED
|
|
MZ_EXTERN Scheme_Object *scheme_eval_waiting;
|
|
#define scheme_tail_eval(obj) \
|
|
(scheme_eval_wait_expr = obj, SCHEME_EVAL_WAITING)
|
|
#endif
|
|
|
|
#define scheme_break_waiting(p) (p->external_break)
|
|
|
|
#ifndef USE_MZ_SETJMP
|
|
# ifdef USE_UNDERSCORE_SETJMP
|
|
# define scheme_mz_longjmp(b, v) _longjmp(b, v)
|
|
# define scheme_mz_setjmp(b) _setjmp(b)
|
|
# else
|
|
# define scheme_mz_longjmp(b, v) longjmp(b, v)
|
|
# define scheme_mz_setjmp(b) setjmp(b)
|
|
# endif
|
|
#endif
|
|
|
|
#ifdef MZ_USE_JIT
|
|
MZ_EXTERN void scheme_jit_longjmp(mz_jit_jmp_buf b, int v);
|
|
MZ_EXTERN void scheme_jit_setjmp_prepare(mz_jit_jmp_buf b);
|
|
# define scheme_jit_setjmp(b) (scheme_jit_setjmp_prepare(b), scheme_mz_setjmp((b)->jb))
|
|
#else
|
|
# define scheme_jit_longjmp(b, v) scheme_mz_longjmp(b, v)
|
|
# define scheme_jit_setjmp(b) scheme_mz_setjmp(b)
|
|
#endif
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
/* Need to make sure that a __gc_var_stack__ is always available where
|
|
setjmp & longjmp are used. */
|
|
# define scheme_longjmp(b, v) (((long *)(void*)((b).gcvs))[1] = (b).gcvs_cnt, \
|
|
GC_variable_stack = (void **)(void*)(b).gcvs, \
|
|
scheme_jit_longjmp((b).jb, v))
|
|
# define scheme_setjmp(b) ((b).gcvs = (long)__gc_var_stack__, \
|
|
(b).gcvs_cnt = (long)(__gc_var_stack__[1]), \
|
|
scheme_jit_setjmp((b).jb))
|
|
#else
|
|
# define scheme_longjmp(b, v) scheme_jit_longjmp(b, v)
|
|
# define scheme_setjmp(b) scheme_jit_setjmp(b)
|
|
#endif
|
|
|
|
/*========================================================================*/
|
|
/* memory management macros */
|
|
/*========================================================================*/
|
|
|
|
/* Allocation */
|
|
#define scheme_alloc_object() \
|
|
((Scheme_Object *) scheme_malloc_tagged(sizeof(Scheme_Simple_Object)))
|
|
#define scheme_alloc_small_object() \
|
|
((Scheme_Object *) scheme_malloc_tagged(sizeof(Scheme_Small_Object)))
|
|
#define scheme_alloc_stubborn_object() \
|
|
((Scheme_Object *) scheme_malloc_stubborn_tagged(sizeof(Scheme_Simple_Object)))
|
|
#define scheme_alloc_stubborn_small_object() \
|
|
((Scheme_Object *) scheme_malloc_stubborn_tagged(sizeof(Scheme_Small_Object)))
|
|
#define scheme_alloc_eternal_object() \
|
|
((Scheme_Object *) scheme_malloc_eternal_tagged(sizeof(Scheme_Simple_Object)))
|
|
#define scheme_alloc_eternal_small_object() \
|
|
((Scheme_Object *) scheme_malloc_eternal_tagged(sizeof(Scheme_Small_Object)))
|
|
|
|
#ifdef SCHEME_NO_GC
|
|
void *scheme_malloc(size_t size);
|
|
# define scheme_malloc_atomic scheme_malloc
|
|
# define scheme_malloc_stubborn scheme_malloc
|
|
# define scheme_malloc_uncollectable scheme_malloc
|
|
#else
|
|
# define scheme_malloc GC_malloc
|
|
# define scheme_malloc_atomic GC_malloc_atomic
|
|
# ifdef MZ_PRECISE_GC
|
|
# define scheme_malloc_stubborn scheme_malloc
|
|
# else
|
|
# define scheme_malloc_stubborn GC_malloc_stubborn
|
|
# define scheme_malloc_uncollectable GC_malloc_uncollectable
|
|
# endif
|
|
#endif
|
|
|
|
#ifdef USE_MEMORY_TRACING
|
|
# define USE_TAGGED_ALLOCATION
|
|
# define MEMORY_COUNTING_ON
|
|
#endif
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
# ifndef GC2_EXTERN
|
|
# define GC2_EXTERN MZ_EXTERN
|
|
# endif
|
|
# ifdef INCLUDE_WITHOUT_PATHS
|
|
# if !SCHEME_DIRECT_EMBEDDED
|
|
# define GC2_JUST_MACROS_AND_TYPEDEFS
|
|
# endif
|
|
# include "schemegc2.h"
|
|
# else
|
|
# include "../gc2/gc2.h"
|
|
# endif
|
|
# define scheme_malloc_tagged GC_malloc_one_tagged
|
|
# define scheme_malloc_array_tagged GC_malloc_array_tagged
|
|
# define scheme_malloc_atomic_tagged GC_malloc_atomic_tagged
|
|
# define scheme_malloc_stubborn_tagged GC_malloc_one_tagged
|
|
# define scheme_malloc_eternal_tagged GC_malloc_atomic_uncollectable
|
|
# define scheme_malloc_uncollectable_tagged >> error <<
|
|
# define scheme_malloc_envunbox GC_malloc
|
|
# define scheme_malloc_weak GC_malloc_weak
|
|
# define scheme_malloc_weak_tagged GC_malloc_one_weak_tagged
|
|
# define scheme_malloc_allow_interior GC_malloc_allow_interior
|
|
#else
|
|
# ifdef USE_TAGGED_ALLOCATION
|
|
extern void *scheme_malloc_tagged(size_t);
|
|
# define scheme_malloc_array_tagged scheme_malloc
|
|
extern void *scheme_malloc_atomic_tagged(size_t);
|
|
extern void *scheme_malloc_stubborn_tagged(size_t);
|
|
extern void *scheme_malloc_eternal_tagged(size_t);
|
|
extern void *scheme_malloc_uncollectable_tagged(size_t);
|
|
extern void *scheme_malloc_envunbox(size_t);
|
|
# else
|
|
# define scheme_malloc_tagged scheme_malloc
|
|
# define scheme_malloc_array_tagged scheme_malloc
|
|
# define scheme_malloc_atomic_tagged scheme_malloc_atomic
|
|
# define scheme_malloc_stubborn_tagged scheme_malloc_stubborn
|
|
# define scheme_malloc_eternal_tagged scheme_malloc_eternal
|
|
# define scheme_malloc_uncollectable_tagged scheme_malloc_uncollectable
|
|
# define scheme_malloc_envunbox scheme_malloc
|
|
# endif
|
|
# define scheme_malloc_allow_interior scheme_malloc
|
|
#endif
|
|
|
|
|
|
#ifdef MZ_PRECISE_GC
|
|
# define MZ_GC_DECL_REG(size) void *__gc_var_stack__[size+2] = { 0, size };
|
|
# define MZ_GC_VAR_IN_REG(x, v) (__gc_var_stack__[x+2] = (void *)&(v))
|
|
# define MZ_GC_ARRAY_VAR_IN_REG(x, v, l) (__gc_var_stack__[x+2] = (void *)0, \
|
|
__gc_var_stack__[x+3] = (void *)&(v), \
|
|
__gc_var_stack__[x+4] = (void *)l)
|
|
# define MZ_GC_NO_VAR_IN_REG(x) (__gc_var_stack__[x+2] = NULL)
|
|
# define MZ_GC_REG() (__gc_var_stack__[0] = GC_variable_stack, \
|
|
GC_variable_stack = __gc_var_stack__)
|
|
# define MZ_GC_UNREG() (GC_variable_stack = __gc_var_stack__[0])
|
|
#else
|
|
# define MZ_GC_DECL_REG(size) /* empty */
|
|
# define MZ_GC_VAR_IN_REG(x, v) /* empty */
|
|
# define MZ_GC_ARRAY_VAR_IN_REG(x, v, l) /* empty */
|
|
# define MZ_GC_NO_VAR_IN_REG(x) /* empty */
|
|
# define MZ_GC_REG() /* empty */
|
|
# define MZ_GC_UNREG() /* empty */
|
|
#endif
|
|
|
|
/*========================================================================*/
|
|
/* embedding configuration and hooks */
|
|
/*========================================================================*/
|
|
|
|
#if SCHEME_DIRECT_EMBEDDED
|
|
|
|
#if defined(_IBMR2)
|
|
MZ_EXTERN long scheme_stackbottom;
|
|
#endif
|
|
|
|
MZ_EXTERN int scheme_defining_primitives;
|
|
|
|
/* These flags must be set before MzScheme is started: */
|
|
MZ_EXTERN int scheme_case_sensitive; /* Defaults to 0 */
|
|
MZ_EXTERN int scheme_no_keywords; /* Defaults to 0 */
|
|
MZ_EXTERN int scheme_allow_set_undefined; /* Defaults to 0 */
|
|
MZ_EXTERN int scheme_square_brackets_are_parens; /* Defaults to 1 */
|
|
MZ_EXTERN int scheme_curly_braces_are_parens; /* Defaults to 1 */
|
|
MZ_EXTERN int scheme_hash_percent_syntax_only; /* Defaults to 0 */
|
|
MZ_EXTERN int scheme_hash_percent_globals_only; /* Defaults to 0 */
|
|
MZ_EXTERN int scheme_binary_mode_stdio; /* Windows-MacOS-specific. Defaults to 0 */
|
|
MZ_EXTERN int scheme_startup_use_jit;
|
|
|
|
MZ_EXTERN void scheme_set_case_sensitive(int);
|
|
MZ_EXTERN void scheme_set_allow_set_undefined(int);
|
|
MZ_EXTERN void scheme_set_binary_mode_stdio(int);
|
|
MZ_EXTERN void scheme_set_startup_use_jit(int);
|
|
|
|
MZ_EXTERN int scheme_get_allow_set_undefined();
|
|
|
|
MZ_EXTERN Scheme_Thread *scheme_current_thread;
|
|
MZ_EXTERN Scheme_Thread *scheme_first_thread;
|
|
|
|
/* Set these global hooks (optionally): */
|
|
MZ_EXTERN void (*scheme_exit)(int v);
|
|
typedef void (*scheme_console_printf_t)(char *str, ...);
|
|
MZ_EXTERN scheme_console_printf_t scheme_console_printf;
|
|
MZ_EXTERN scheme_console_printf_t scheme_get_console_printf();
|
|
MZ_EXTERN void (*scheme_console_output)(char *str, long len);
|
|
MZ_EXTERN void (*scheme_sleep)(float seconds, void *fds);
|
|
MZ_EXTERN void (*scheme_notify_multithread)(int on);
|
|
MZ_EXTERN void (*scheme_wakeup_on_input)(void *fds);
|
|
MZ_EXTERN int (*scheme_check_for_break)(void);
|
|
MZ_EXTERN Scheme_Object *(*scheme_module_demand_hook)(int c, Scheme_Object **a);
|
|
#ifdef MZ_PRECISE_GC
|
|
MZ_EXTERN void *(*scheme_get_external_stack_val)(void);
|
|
MZ_EXTERN void (*scheme_set_external_stack_val)(void *);
|
|
#endif
|
|
#ifdef USE_WIN32_THREADS
|
|
MZ_EXTERN void (*scheme_suspend_main_thread)(void);
|
|
int scheme_set_in_main_thread(void);
|
|
void scheme_restore_nonmain_thread(void);
|
|
#endif
|
|
#ifdef MAC_FILE_SYSTEM
|
|
extern long scheme_creator_id;
|
|
#endif
|
|
|
|
MZ_EXTERN Scheme_Object *(*scheme_make_stdin)(void);
|
|
MZ_EXTERN Scheme_Object *(*scheme_make_stdout)(void);
|
|
MZ_EXTERN Scheme_Object *(*scheme_make_stderr)(void);
|
|
|
|
MZ_EXTERN void scheme_set_banner(char *s);
|
|
MZ_EXTERN Scheme_Object *scheme_set_exec_cmd(char *s);
|
|
MZ_EXTERN Scheme_Object *scheme_set_run_cmd(char *s);
|
|
MZ_EXTERN void scheme_set_collects_path(Scheme_Object *p);
|
|
MZ_EXTERN void scheme_set_original_dir(Scheme_Object *d);
|
|
|
|
/* Initialization */
|
|
MZ_EXTERN Scheme_Env *scheme_basic_env(void);
|
|
|
|
#ifdef USE_MSVC_MD_LIBRARY
|
|
MZ_EXTERN void GC_pre_init(void);
|
|
#endif
|
|
|
|
MZ_EXTERN void scheme_check_threads(void);
|
|
MZ_EXTERN void scheme_wake_up(void);
|
|
MZ_EXTERN int scheme_get_external_event_fd(void);
|
|
|
|
/* image dump enabling startup: */
|
|
MZ_EXTERN int scheme_image_main(int argc, char **argv);
|
|
MZ_EXTERN int (*scheme_actual_main)(int argc, char **argv);
|
|
MZ_EXTERN void scheme_set_actual_main(int (*m)(int argc, char **argv));
|
|
|
|
/* GC registration: */
|
|
#ifdef GC_MIGHT_USE_REGISTERED_STATICS
|
|
MZ_EXTERN void scheme_set_stack_base(void *base, int no_auto_statics);
|
|
#endif
|
|
|
|
MZ_EXTERN void scheme_register_static(void *ptr, long size);
|
|
#if defined(MUST_REGISTER_GLOBALS) || defined(GC_MIGHT_USE_REGISTERED_STATICS)
|
|
# define MZ_REGISTER_STATIC(x) scheme_register_static((void *)&x, sizeof(x))
|
|
#else
|
|
# define MZ_REGISTER_STATIC(x) /* empty */
|
|
#endif
|
|
|
|
MZ_EXTERN void (*scheme_on_atomic_timeout)(void);
|
|
|
|
MZ_EXTERN void scheme_immediate_exit(int status);
|
|
|
|
MZ_EXTERN int scheme_new_param(void);
|
|
MZ_EXTERN Scheme_Object *scheme_param_config(char *name, Scheme_Object *pos,
|
|
int argc, Scheme_Object **argv,
|
|
int arity,
|
|
Scheme_Prim *check, char *expected,
|
|
int isbool);
|
|
MZ_EXTERN Scheme_Object *scheme_register_parameter(Scheme_Prim *function, char *name, int which);
|
|
|
|
#endif /* SCHEME_DIRECT_EMBEDDED */
|
|
|
|
/*========================================================================*/
|
|
/* addrinfo */
|
|
/*========================================================================*/
|
|
|
|
#ifdef HAVE_GETADDRINFO
|
|
# define mz_addrinfo addrinfo
|
|
#else
|
|
struct mz_addrinfo {
|
|
int ai_flags;
|
|
int ai_family;
|
|
int ai_socktype;
|
|
int ai_protocol;
|
|
size_t ai_addrlen;
|
|
struct sockaddr *ai_addr;
|
|
struct mz_addrinfo *ai_next;
|
|
};
|
|
#endif
|
|
|
|
/*========================================================================*/
|
|
/* FFI functions */
|
|
/*========================================================================*/
|
|
|
|
/* If MzScheme is being empbedded, then we just include the
|
|
prototypes. Otherwise, we may include a function-table definition
|
|
instead, plus macros that map the usual name to table lookups. */
|
|
|
|
#if SCHEME_DIRECT_EMBEDDED
|
|
|
|
/* All functions & global constants prototyped here */
|
|
#ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "schemef.h"
|
|
#else
|
|
# include "../src/schemef.h"
|
|
#endif
|
|
|
|
#else
|
|
|
|
#ifdef LINK_EXTENSIONS_BY_TABLE
|
|
/* Constants and function prototypes as function pointers in a struct: */
|
|
# ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "schemex.h"
|
|
# else
|
|
# include "../src/schemex.h"
|
|
# endif
|
|
|
|
extern Scheme_Extension_Table *scheme_extension_table;
|
|
|
|
/* Macro mapping names to record access */
|
|
# ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "schemexm.h"
|
|
# else
|
|
# include "../src/schemexm.h"
|
|
# endif
|
|
|
|
#else
|
|
|
|
/* Not LINK_EXTENSIONS_BY_TABLE */
|
|
# ifdef INCLUDE_WITHOUT_PATHS
|
|
# include "schemef.h"
|
|
# else
|
|
# include "../src/schemef.h"
|
|
# endif
|
|
|
|
#endif
|
|
|
|
#endif
|
|
|
|
/*========================================================================*/
|
|
/* misc flags */
|
|
/*========================================================================*/
|
|
|
|
/* For use with scheme_symbol_name_and_size: */
|
|
#define SCHEME_SNF_FOR_TS 0x1
|
|
#define SCHEME_SNF_PIPE_QUOTE 0x2
|
|
#define SCHEME_SNF_NO_PIPE_QUOTE 0x4
|
|
#define SCHEME_SNF_NEED_CASE 0x8
|
|
#define SCHEME_SNF_KEYWORD 0x10
|
|
#define SCHEME_SNF_NO_KEYWORDS 0x20
|
|
|
|
/* For use with scheme_make_struct_values et al.: */
|
|
#define SCHEME_STRUCT_NO_TYPE 0x01
|
|
#define SCHEME_STRUCT_NO_CONSTR 0x02
|
|
#define SCHEME_STRUCT_NO_PRED 0x04
|
|
#define SCHEME_STRUCT_NO_GET 0x08
|
|
#define SCHEME_STRUCT_NO_SET 0x10
|
|
#define SCHEME_STRUCT_GEN_GET 0x20
|
|
#define SCHEME_STRUCT_GEN_SET 0x40
|
|
#define SCHEME_STRUCT_EXPTIME 0x80
|
|
|
|
/*========================================================================*/
|
|
/* file descriptors */
|
|
/*========================================================================*/
|
|
|
|
#if defined(DETECT_WIN32_CONSOLE_STDIN) || defined(WINDOWS_PROCESSES)
|
|
# ifndef NO_STDIO_THREADS
|
|
# define USE_FAR_MZ_FDCALLS
|
|
# endif
|
|
#endif
|
|
#ifdef USE_DYNAMIC_FDSET_SIZE
|
|
# define USE_FAR_MZ_FDCALLS
|
|
#endif
|
|
#ifdef USE_BEOS_PORT_THREADS
|
|
# define USE_FAR_MZ_FDCALLS
|
|
#endif
|
|
|
|
#ifdef USE_FAR_MZ_FDCALLS
|
|
# define MZ_GET_FDSET(p, n) scheme_get_fdset(p, n)
|
|
# define MZ_FD_ZERO(p) scheme_fdzero(p)
|
|
# define MZ_FD_SET(n, p) scheme_fdset(p, n)
|
|
# define MZ_FD_CLR(n, p) scheme_fdclr(p, n)
|
|
# define MZ_FD_ISSET(n, p) scheme_fdisset(p, n)
|
|
#else
|
|
# define MZ_GET_FDSET(p, n) ((void *)(((fd_set *)p) + n))
|
|
# define MZ_FD_ZERO(p) FD_ZERO(p)
|
|
# define MZ_FD_SET(n, p) FD_SET(n, p)
|
|
# define MZ_FD_CLR(n, p) FD_CLR(n, p)
|
|
# define MZ_FD_ISSET(n, p) FD_ISSET(n, p)
|
|
#endif
|
|
|
|
/*========================================================================*/
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#if defined(__MWERKS__)
|
|
# ifdef MZSCHEME_USES_NEAR_GLOBALS
|
|
# pragma far_data reset
|
|
# endif
|
|
#endif
|
|
|
|
#endif /* ! SCHEME_H */
|
|
|