@@ -364,8 +364,6 @@ doOp v (LSRem (ATInt (ITFixed ty))) [x, y] = bitOp v "SRem" ty [x, y]
364364
365365doOp v (LSExt (ITFixed from) ITBig) [x]
366366 = v ++ "MKBIGSI(vm, (" ++ signedTy from ++ ")" ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
367−doOp v (LZExt ITNative ITBig) [x]
368− = v ++ "MKBIGSI(vm, GETINT(" ++ creg x ++ "))"
369367doOp v (LSExt ITNative (ITFixed to)) [x]
370368 = v ++ "idris_b" ++ show (nativeTyWidth to) ++ "const(vm, GETINT(" ++ creg x ++ "))"
371369doOp v (LSExt ITChar (ITFixed to)) [x]
@@ -386,8 +384,8 @@ doOp v (LZExt (ITFixed from) ITChar) [x]
386384 = doOp v (LZExt (ITFixed from) ITNative) [x]
387385doOp v (LZExt (ITFixed from) ITBig) [x]
388386 = v ++ "MKBIGUI(vm, " ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
389−-- doOp v (LZExt ITNative ITBig) [x]
390−-- = v ++ "MKBIGUI(vm, (uintptr_t)GETINT(" ++ creg x ++ "))"
387+doOp v (LZExt ITNative ITBig) [x]
388+ = v ++ "MKBIGUI(vm, (uintptr_t)GETINT(" ++ creg x ++ "))"
391389doOp v (LZExt (ITFixed from) (ITFixed to)) [x]
392390 | nativeTyWidth from < nativeTyWidth to = bitCoerce v "Z" from to x
393391doOp v (LTrunc ITNative (ITFixed to)) [x]