How to add <animate /> in <circle> ?

[slegrand45]

Hi,

I can't find a way to add the <animate /> tag in a <circle> one. It seems i have to use the animation function (animate seems undefined). But the animation function is not allowed in circle:

Error: This expression has type [> Svg_types.animation ] Svg.elt
       but an expression was expected of type
         [< Svg_types.circle_content ] Svg.elt
       Type [> Svg_types.animation ] = [> `Animation ]
       is not compatible with type
         [< Svg_types.circle_content ] =
           [< `Animate
            | `AnimateColor
            | `AnimateMotion
            | `AnimateTransform
            | `Desc
            | `Metadata
            | `Set
            | `Title ] 
       The second variant type does not allow tag(s) `Animation

Do i miss something ? Thanks.

[ilankri]

Hello @slegrand45,

Do i miss something ?

No, it is just a bug :)

With these changes, the following code should be well-typed:

let circle = Tyxml.Svg.circle [Tyxml.Svg.animate []]