[mercury-users] Circular lists

[Tyson Dowd]

On 27-Nov-1997, Thomas Charles CONWAY <conway at cs.mu.oz.au> wrote:

> Generally speaking, passing arguments of any other type can be
> dangerous since the data representation is exposed.
> 
> There are cases (such as the tcl/tk interface) where arguments of
> complex type get passed, but they only get passed around in the C
> code, and their representation is treated as abstract (even so,
> this poses an unaddressed problem for the native GC. Any comment
> Tyson?).

In the present implementation, you cannot even 'deep_copy' io__state.
Work needs to be done to provide an interface between memory
management and C code. Work also needs to be done to provide a better
C interface for using libraries. It would also be nice to have a
general mechanism for dealing with callbacks. 

-- 
       Tyson Dowd           # 
                            #         Linux versus Windows is a 
     trd at cs.mu.oz.au        #            Win lose situation.
http://www.cs.mu.oz.au/~trd #