<div dir="ltr"><div><div><div><div>This is a continuation of the question of using Mercury to write native libraries or language extensions for another language where GC on the Mercury side is undesirable.<br><br></div>If I use Mercury purely functionally/declaratively and store all states through the FFI so that when control returns from Mercury there is no need to preserve any Mercury data structures, could I disable GC and expect no memory leak? I read that one can compile with no GC and Mercury heap will be reclaimed on backtracking. Does that include returning from a det/semidet predicate?<br>
<br></div>There was a compile time GC branch with activity as recent as 2008, What happened to that branch? What about the region based memory management module?<br><br></div>Thanks,<br></div>Haitao<br></div>