[Ur] puzzled about unification error

[Marko Schütz Schmuck]

Turns out I was wrong with what I thought was going on.

Thanks for clarifying!

Best regards,

Marko

On Mon, 27 Mar 2017 12:36:47 -0400,
Adam Chlipala wrote:
> 
> The issue is that a tuple has a record type, while a general expression enclosed in
> parentheses needn't. [Theme.tabbed] requires a record argument.  One fix would be to do:
>     {A = blah}
> instead of:
>     (blah)
> 
> On 03/27/2017 12:31 PM, Marko Schütz Schmuck wrote:
> > When I use the "course" example from upo/examples and I use as
> > function main
> > 
> > val main =
> >      Theme.tabbed "Course Home Page"
> >                ((Some "Forum",
> >                  GlobalForum.ui),
> >                 (Some "Users",
> >                  EditUsers.ui))
> > 
> > urweb compiles it. But when I cut it down a little more to
> > 
> > val main =
> >      Theme.tabbed "Course Home Page"
> >                ((Some "Users",
> >                  EditUsers.ui))
> > 
> > urweb reports unification failure:
> 
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP Digital Signature
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170327/cacca608/attachment.sig>