[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