extern void SN_close_env(struct SN_env * z, int S_size) { if (z == NULL) return; if (S_size) { int i; for (i = 0; i < S_size; i++) { lose_s(z->S[i]); } free(z->S); } free(z->I); free(z->B); if (z->p) lose_s(z->p); free(z); }
void SN_close_env(struct SN_env * z) { if (z->S && z->S_size) { { int i; for (i = 0; i < z->S_size; i++) lose_s(z->S[i]); } free(z->S); } if (z->I_size) free(z->I); if (z->B_size) free(z->B); if (z->p) lose_s(z->p); free(z); }