idris_checkInitMessages() didn't check the init bit properly
commit764df5fd12c255e17283a867fdc68f58a678ac97
authorJorge Acereda <jacereda@gmail.com>
dateSun 8 Apr 2018, 20:04 (9 years ago)
parent1a7e2ea
rts/idris_rts.c+1−1
@@ -976,7 +976,7 @@ Msg* idris_checkInitMessages(VM* vm) {
976976 Msg* msg;
977977
978978 for (msg = vm->inbox; msg < vm->inbox_end && msg->msg != NULL; ++msg) {
979− if (msg->channel_id && 1 == 1) { // init bit set
979+ if ((msg->channel_id & 1) == 1) { // init bit set
980980 return msg;
981981 }
982982 }