[Ur] C type for Ur/Web list type

[Adam Chlipala]

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.