[Ur] Design Pattern Trouble

[David Snider]

Nevermind I figured it out. It should have occurred to me before: I 
needed to pass a callback function into the component.

On 2014-05-24 22:11, David Snider wrote:
> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur