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
> [email protected]
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
pgp5o0AgxKa7o.pgp
Description: OpenPGP Digital Signature
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
