[Ur] HTML5 tags: source tag conflict

Sergey Mironov grrwlf at gmail.com
Sun May 3 05:27:45 EDT 2015


Here is the code I tried to insert:

(* HTML5 media *)
val source : bodyTag ([Src = url, Typ = string])
val audio : bodyTag ([Src = url, Autobuffer = bool, Autoplay = bool, Loop =
                     bool, Controls = bool, Preload = string, Onload =
transaction unit] ++ boxAttrs)

2015-05-03 12:26 GMT+03:00 Sergey Mironov <grrwlf at gmail.com>:
> Hi! I am working on adding HTML5 media tags to the basis. According to
> the reference [1], <audio> tag may contain one or more tags named
> <source>. Unfortunately, we already have value named 'source' in
> basis.ur. What can we do to address this issue?  I'll try to
> experiment with adding source tag via FFI for now and see how it looks
> like.
>
> Regards,
> Sergey
>
> [1] http://www.w3schools.com/tags/tag_audio.asp



More information about the Ur mailing list