0ea2a09 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Remove some redundant casts

0ea2a09Jorge Acereda9 years ago

rts/idris_gmp.c+4−4

@@ -148,7 +148,7 @@ VAL idris_bigAnd(VM* vm, VAL x, VAL y) {

148 if (ISINT(x) && ISINT(y)) {

149 return INTOP(&, x, y);

150 } else {

151− return bigAnd(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));

151+ return bigAnd(vm, GETBIG(vm, x), GETBIG(vm, y));

152 }

153}

154

@@ -156,7 +156,7 @@ VAL idris_bigOr(VM* vm, VAL x, VAL y) {

156 if (ISINT(x) && ISINT(y)) {

157 return INTOP(|, x, y);

158 } else {

159− return bigOr(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));

159+ return bigOr(vm, GETBIG(vm, x), GETBIG(vm, y));

160 }

161}

162

@@ -169,12 +169,12 @@ VAL idris_bigPlus(VM* vm, VAL x, VAL y) {

169 }

170 i_int res = vx + vy;

171 if (res >= 1<<30 || res <= -(1 << 30)) {

172− return bigAdd(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));

172+ return bigAdd(vm, GETBIG(vm, x), GETBIG(vm, y));

173 } else {

174 return MKINT(res);

175 }

176 } else {

177− return bigAdd(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));

177+ return bigAdd(vm, GETBIG(vm, x), GETBIG(vm, y));

178 }

179}

180