I'm trying to compile a fairly simple MasterPage + Component type page
but I am having trouble getting it to compile and I'm not sure why.
Here are the two files involved
https://github.com/sniderd/urboard/blob/master/main.ur
https://github.com/sniderd/urboard/blob/master/masterpage.ur
It looks like the return handlers are the problem -- they need to return
full HTML pages and are only returning xbody. I'm unsure how to best
resolve this though.
Here are the error messages.
/home/david/Code/urboard/main.ur:125:20: (to 125:21) Error in final
record unification
Can't unify record constructors
Have: [Body = (), MakeForm = (), Dyn = ()]
Need: [Html = ()]
/home/david/Code/urboard/main.ur:125:20: (to 125:21) Stuck unifying
these records after canceling matching pieces:
Have: [Body = (), MakeForm = (), Dyn = ()]
Need: [Html = ()]
/home/david/Code/urboard/main.ur:129:20: (to 129:21) Error in final
record unification
Can't unify record constructors
Have: [Body = (), MakeForm = (), Dyn = ()]
Need: [Html = ()]
/home/david/Code/urboard/main.ur:129:20: (to 129:21) Stuck unifying
these records after canceling matching pieces:
Have: [Body = (), MakeForm = (), Dyn = ()]
Need: [Html = ()]
/home/david/Code/urboard/main.ur:137:23: (to 137:24) Error in final
record unification
Can't unify record constructors
Have: [Body = (), MakeForm = (), Dyn = ()]
Need: [Html = ()]
/home/david/Code/urboard/main.ur:137:23: (to 137:24) Stuck unifying
these records after canceling matching pieces:
Have: [Body = (), MakeForm = (), Dyn = ()]
Need: [Html = ()]
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
