on master help sign in
Fix wrong result type for idris_peek in Java
commit9054e623fb91818ece0d7fe4d40305e361b4985e authorJan Bessai <Jan.Bessai@tu-dortmund.de> dateSun 16 Jun 2013, 17:30 (13 years ago) parent640fde0
1 file changed+2−2
java/src/main/java/org/idris/rts/ForeignPrimitives.java+2−2
java/src/main/java/org/idris/rts/ForeignPrimitives.java+2−2
@@ -209,9 +209,9 @@ public class ForeignPrimitives {
209209 buf = null;
210210 }
211211
212− public static Integer idris_peek(Object buf, int offset) {
212+ public static byte idris_peek(Object buf, int offset) {
213213 ByteBuffer buffer = (ByteBuffer)buf;
214− return Integer.valueOf(buffer.get(offset));
214+ return buffer.get(offset);
215215 }
216216
217217 public static void idris_poke(Object buf, int offset, Object data) {