Meta-Language Primitives


Typedefs

typedef state_t slime_t
 An abstract type representing a self-adjusting core computation.

Functions

slime_tslime_open (void)
 Start a new computation.
slime_tslime_current (void)
 Get the current computation.
void slime_switch (slime_t *slime)
 Switch to an existing computation.
void slime_kill (void *ptr)
 Kill a top-level allocation.
void slime_propagate (void)
 Propagate the current computation.
void slime_close (slime_t *slime)
 Close the given computation.
void slime_meta_start (void)
 Set current time to computation's start-time.
void slime_meta_end (void)
 Set current time to computation's end-time.
int slime_meta_check (void)
 Returns -1 for start, 1 for end, and 0 for neither.
void * modref_deref (modref_t *m)
 Inspect the value of a modref. This is the meta-level analogue to read.

Detailed Description

See Language Primitives for a high-level explanation of how these primitives are used.

See Limitations for an overview of associated caveats.


Generated on Thu Mar 5 14:27:55 2009 for CEAL by  doxygen 1.5.6