/*-------------------------------------------------------------------------* * SHOW_FD_VARIABLE * * * *-------------------------------------------------------------------------*/ static void Show_Fd_Variable(WamWord *fdv_adr) { char str[32]; sprintf(str, "_#%d(", (int) Cstr_Offset(fdv_adr)); Out_String(str); Out_String(Fd_Variable_To_String(fdv_adr)); Out_Char(')'); pl_last_writing = W_IDENTIFIER; }
/*-------------------------------------------------------------------------* * PL_FD_DISPLAY_EXTRA_CSTR * * * *-------------------------------------------------------------------------*/ void Pl_Fd_Display_Extra_Cstr(WamWord *fdv_adr) { Pl_Stream_Printf(pl_stm_tbl[pl_stm_stdout], MSG_VECTOR_TOO_SMALL, Cstr_Offset(fdv_adr)); }