On 03/11/2013 07:51 PM, Daniel Patterson wrote:
My problem is just writing the type signature for the FFI signature file - as mentioned in the other thread, it seems like sourceL.ur from the meta repository will work for what I want, and so the signature I want to write is:val init : id -> (* id for player container *) SourceL.t float -> (* offset source *)(SourceL.t float -> float -> transaction unit) -> (* set function *)url -> (* video url *) url -> (* audio url *) transaction unitWhich fails, because the signature file doesn't know what I mean by SourceL. How can I get that in scope, or is this just not possible (because I've overestimated what I can get into javascript)?
Hm, I can't think of a _principled_ way to do what you're asking, with the current Ur/Web, but here's an _un_principled solution: declare [init] as polymorphic in some type variable, which you then write in place of [SourceL.float]. :)
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
