On 04/14/2016 06:53 AM, Artyom Shalkhakov wrote:
there is this question: what C types do [list string] and [option string] map to? I think that [option string] probably maps to a nullable pointer to uw_Basis_string. What about the list constructor?
That's a tricky one. There is actually no support for parametric polymorphism in the FFI. Every [list a] type is compiled to a separate C struct.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
