eval(sptr_t s)
#endif
{
assert(jhc_valid_lazy(s));
if(IS_LAZY(s)) {
assert(GET_PTYPE(s) == P_LAZY);
void *ds = FROM_SPTR(s);
sptr_t h = (sptr_t)(GETHEAD(ds));
assert((fptr_t)h != BLACK_HOLE);
if(IS_LAZY(h)) {
eval_fn fn = (eval_fn)FROM_SPTR(h);
assert(GET_PTYPE(h) == P_FUNC);
#if _JHC_DEBUG
GETHEAD(ds) = BLACK_HOLE;
#endif
#if _JHC_GC == _JHC_GC_JGC
wptr_t r = (*fn)(gc,NODEP(ds));
#else
wptr_t r = (*fn)(NODEP(ds));
#endif
#if _JHC_DEBUG
assert(GETHEAD(ds) != BLACK_HOLE);
#endif
return r;
}
return (wptr_t)h;
}
assert(jhc_valid_whnf((wptr_t)s));
return (wptr_t)s;
}
// like eval but you know the target is in WHNF or is a already evaluated indirection
static inline wptr_t A_STD A_UNUSED A_HOT
follow(sptr_t s)
{
assert(jhc_valid_lazy(s));
if(IS_LAZY(s)) {
sptr_t h = (sptr_t)(GETHEAD(FROM_SPTR(s)));
assert(!IS_LAZY(h));
return (wptr_t)h;
}
return (wptr_t)s;
}
}
#endif
#if _JHC_DEBUG
wptr_t A_STD
promote(sptr_t s)
{
assert(!IS_LAZY(s));
assert(jhc_valid_whnf((wptr_t)s));
return (wptr_t)s;
}
sptr_t A_STD
demote(wptr_t s)
{
assert(!IS_LAZY(s));
assert(jhc_valid_whnf(s));
return (sptr_t)s;
}
void A_STD
update(void * thunk, wptr_t new)
{
assert(GETHEAD(thunk) == BLACK_HOLE);
assert(!IS_LAZY(new));
GETHEAD(thunk) = (fptr_t)new;
}
#endif
