From 2fd680c2c253c46d200ab1679fed7b189eb8ddd5 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sun, 6 Jan 2019 23:47:24 +0100 Subject: [PATCH] kernel: use IS_MUTABLE_OBJ in UNB_LIST/ASS_LIST/ASSS_LIST --- src/lists.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lists.h b/src/lists.h index 360ae18805..71963aa87e 100644 --- a/src/lists.h +++ b/src/lists.h @@ -467,7 +467,7 @@ EXPORT_INLINE void UNB_LIST(Obj list, Int pos) GAP_ASSERT(pos > 0); UInt tnum = TNUM_OBJ(list); if (FIRST_LIST_TNUM <= tnum && tnum <= LAST_LIST_TNUM && - (tnum & IMMUTABLE)) { + !IS_MUTABLE_OBJ(list)) { ErrorMayQuit("List Unbind: must be a mutable list", 0, 0); } (*UnbListFuncs[TNUM_OBJ(list)])(list, pos); @@ -504,7 +504,7 @@ EXPORT_INLINE void ASS_LIST(Obj list, Int pos, Obj obj) GAP_ASSERT(obj != 0); UInt tnum = TNUM_OBJ(list); if (FIRST_LIST_TNUM <= tnum && tnum <= LAST_LIST_TNUM && - (tnum & IMMUTABLE)) { + !IS_MUTABLE_OBJ(list)) { ErrorMayQuit("List Assignment: must be a mutable list", 0, 0); } (*AssListFuncs[TNUM_OBJ(list)])(list, pos, obj); @@ -552,7 +552,7 @@ EXPORT_INLINE void ASSS_LIST(Obj list, Obj poss, Obj objs) GAP_ASSERT(LEN_LIST(poss) == LEN_LIST(objs)); UInt tnum = TNUM_OBJ(list); if (FIRST_LIST_TNUM <= tnum && tnum <= LAST_LIST_TNUM && - (tnum & IMMUTABLE)) { + !IS_MUTABLE_OBJ(list)) { ErrorMayQuit("List Assignments: must be a mutable list", 0, 0); } (*AsssListFuncs[TNUM_OBJ(list)])(list, poss, objs);