[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