[Ur] Attempting to do Exercise 7.3 of Gian Perrone's UrWeb (blog) tutorial - trying to a logout() function and link to it - getting compiler errors

Adam Chlipala adamc at csail.mit.edu
Wed Jan 28 14:25:26 EST 2015


On 01/28/2015 01:47 PM, Stefan Scott Alexander wrote:
> I'm not sure if it's complaining about the type of the new functions 
> which I added:
>
> fun pageWithLogout pg =
>    pg' <- pg;
>    return <xml>
>             {pg'}
>             <p><a link={logout()}>Logout</a></p>
>           </xml>

I think the problem here is just that you are using <p> not inside a <body>.



More information about the Ur mailing list