Correct MKSTR arguments in FFI docs.
The documentation for returning a `Raw String` from C into Idris code mentions
the use of the MKSTR() function, however it's only passed one argument in the
example, when in fact it takes a `VM *` (as a pointer to the currently executing
Idris VM) as well as a `char *`.
commit24c75712e581d7eec92ab529f13d49639e24a8fa
authorMolly Miller <sysvinit@users.noreply.github.com>
dateTue 22 Oct 2019, 21:56 (7 years ago)
parent454f0b0
docs/reference/ffi.rst+1−1
@@ -384,7 +384,7 @@ copy it over.
384384 const VAL get_string ()
385385 {
386386 char * c_string = get_string_allocated_with_malloc()
387− const VAL idris_string = MKSTR(c_string);
387+ const VAL idris_string = MKSTR(get_vm(), c_string);
388388 free(c_string);
389389 return idris_string
390390 }