4fae6d4 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix compiler warning on pointer equality test

commit4fae6d48a628fbeda05659ee9b85b56a6150a45b authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 15 Jul 2015, 16:44 (11 years ago) parentda0114d

1 file changed+2−2

unifiedsplit

src/IRTS/CodegenC.hs+2−2

@@ -571,9 +571,9 @@ doOp v (LExternal se) [] | se == sUN "prim__stderr" = v ++ "MKPTR(vm, stderr)"

571571

572572doOp v (LExternal nul) [] | nul == sUN "prim__null" = v ++ "MKPTR(vm, NULL)"

573573doOp v (LExternal eqp) [x, y] | eqp == sUN "prim__eqPtr"

574− = v ++ "GETPTR(" ++ creg x ++ ") == GETPTR(" ++ creg y ++ ")"

574+ = v ++ "MKINT((i_int)(GETPTR(" ++ creg x ++ ") == GETPTR(" ++ creg y ++ ")))"

575575doOp v (LExternal eqp) [x, y] | eqp == sUN "prim__eqManagedPtr"

576− = v ++ "GETMPTR(" ++ creg x ++ ") == GETMPTR(" ++ creg y ++ ")"

576+ = v ++ "MKINT((i_int)(GETMPTR(" ++ creg x ++ ") == GETMPTR(" ++ creg y ++ ")))"

577577doOp v (LExternal rp) [p, i] | rp == sUN "prim__registerPtr"

578578 = v ++ "MKMPTR(vm, GETPTR(" ++ creg p ++ "), GETINT(" ++ creg i ++ "))"

579579