fix(ffi): exec rows return using the result inductive

Changes

1 changed files (+3/-1)

• ffi/c/ffi.c
  • @@ -94,7 +94,9 @@
    if (cursor->cols == 0) return lean_io_result_mk_ok(lean_box(0)); - return lean_io_result_mk_ok(box_cursor(cursor)); + lean_object *res = lean_alloc_ctor(1, 1, 0); + lean_ctor_set(res, 0, box_cursor(cursor)); + return lean_io_result_mk_ok(res); } int callback(void *NotUsed, int argc, char **argv, char **azColName){