| OCR Text |
Show tempre£1; consptr = tempre£1; ret urn TRUE; boolean Unify_y_variable(v) int v; register SAR * sarp = smash_ sarp; register ref tempref1; register ref tempref2; if (mode = READ) ( RSMASH (consptr, sarp); tempref1 = ((cons_cell *) VIRT (consptr))->cc_car; varbind (deref (REFOFY (v)), tempref1); RSMASH (consptr, sarp); consptr = ((cons_cell *) VIRT (consptr))->cc_cdr; else ( temprafl = push_area (&hp, sizeof (cons_cell)); TAG (tempref1, LIST); tempref2 = new_value_cell (&hp); varbind (deref (REFOFY (v)), tempref2); RSMASH (tamprafl, sarp); ((cons_cell *) VIRT (tempref1))->cc_car = tempref2; ((cons_cell *) VIRT (tempref1))->cc_cdr = NULL; if (consptr) ( RSMASH (consptr, sarp); ((cons_cell *) VIRT (consptr))->cc_cdr = tempref2; consptr = tempref1; return TRUE; 133 |
