Memory leak in bson_as_json

[unalos]

The bson_as_json C stub returns a char *. The documentation of BSon states that such strings/pointers must be deallocated with free(). However the pointer becomes owned by Idris when returning from the call to the C stub. As far as I see it, Idris doesn't free() the pointer.

[machunter]

Thank you. I'm aware. I was experimenting and didn't pay much attention to that aspect. When I get back into this I'll try to come up with some strategy.

[unalos]

Then you may be interested as to how I fixed it in my own code.

https://github.com/unalos/idris-mongo/blob/8b6202f26bde73ca58bb285b7c830863afc42e1d/idris_bson.c#L36

[machunter]

Thanks! I didn't know of get_vm() (You're way ahead of me)