[Ur] UR/Web SVG (ffi) question
Adam Chlipala
adamc at csail.mit.edu
Tue Apr 17 07:19:40 EDT 2018
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]
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180417/c7c2953d/attachment-0001.html>
More information about the Ur
mailing list