[Ur] Design Pattern Trouble

David Snider david at davidsnider.net
Sat May 24 22:11:51 EDT 2014


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 = ()]




More information about the Ur mailing list