[Ur] UR/Web SVG (ffi) question

Adam Chlipala adamc at csail.mit.edu
Tue Apr 17 09:44:19 EDT 2018


I think it should all "just work," with your new tag added in an FFI 
.urs file like that!

On 04/17/2018 08:00 AM, Jonas Mellin wrote:
>
> My bad, sorry. It took me a short while to see the misspelling. Got it 
> working. I will be more careful about that in the future.
>
> I move on to trying multiple objects and then adding “foreignObject” tag:
>
> val foreignObject : svgTag([X = string, Y = string, Width = string, 
> Height = string] ++ typicalAttrs)
>
> an addition to the SVG.urs (cf. original at 
> https://github.com/karsar/urweb-examples/blob/master/SVGTest/SVG.urs) 
> , this require somehow to mix xsvg with xbody. Anything in particular 
> that has to be taken into account when mixing this?
>
> /Jonas Mellin
>
> *From:*Ur [mailto:ur-bounces at impredicative.com] *On Behalf Of *Adam 
> Chlipala
> *Sent:* den 17 april 2018 13:20
> *To:* ur at impredicative.com
> *Subject:* Re: [Ur] UR/Web SVG (ffi) question
>
> For future questions, I think it would be good for you to explain what 
> you understand from error messages, highlighting what additional 
> understanding you need to diagnose the error. Here again the problem 
> is a simple one that would be recognized as a bug in any programming 
> language.
>
> Notice the difference in spellings of field names, between the "Have" 
> and "Need" parts of the error message.
>
> On 04/17/2018 05:53 AM, Jonas Mellin wrote:
>
>     ...
>
>       <body onmousemove={fn ev => set x (ev.ScreenX,ev.SceenY)}>
>
>     ...
>
>     *But I get:*
>
>     Can't unify record constructors
>
>     Have:
>
>     [ScreenX = int, ScreenY = int, ClientX = int, ClientY = int,
>
>       CtrlKey = bool, ShiftKey = bool, AltKey = bool, MetaKey = bool,
>
>       Button = mouseButton]
>
>     Need: <UNIF:U140::{Type}> ++ [ScreenX = int, SceenY = int]
>
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180417/6f55b389/attachment.html>


More information about the Ur mailing list