I have not read all of your code, but I did spot the problem behind the first compiler error message, which I think all web developers would agree is problematic. (I.e., it isn't just a question of a fussy Ur/Web type system.)

On 04/16/2018 04:58 AM, Jonas Mellin wrote:


fun proc (x: intPair) =

    x <- source x;

    return

                             <xml>

                               <body onmousemove={fn ev => set x (ev.ScreenX,ev.SceenY)}>

<!-- ... -->

                               </xml>

fun main(): transaction page =

    xml <- proc (0,0);

    return

                             <xml>

                               <head>

                                 Banzai

                               </head>

                               <body>

                                 {xml}

                               </body>

                             </xml>

[...]


/home/a/SVGTest2/SVGTest.ur:33:4: (to 44:2) Error in final record unification

Can't unify record constructors

Have:  [Dyn = (), MakeForm = (), Body = ()]

Need:  [Html = ()]


Notice that your [proc] code includes a <body> tag, but then you nest it within another <body> tag!
_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to