Mercurial > urweb
comparison demo/crud.ur @ 732:5819fb63c93a
Effectness analysis
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 16 Apr 2009 15:29:39 -0400 |
| parents | 1fb318c17546 |
| children | 669ac5e9a69e |
comparison
equal
deleted
inserted
replaced
| 731:e0dd85ea58e1 | 732:5819fb63c93a |
|---|---|
| 165 </body></xml> | 165 </body></xml> |
| 166 in | 166 in |
| 167 return <xml><body> | 167 return <xml><body> |
| 168 <p>Are you sure you want to delete ID #{[id]}?</p> | 168 <p>Are you sure you want to delete ID #{[id]}?</p> |
| 169 | 169 |
| 170 <p><a link={delete ()}>I was born sure!</a></p> | 170 <form><submit action={delete} value="I was born sure!"/></form> |
| 171 </body></xml> | 171 </body></xml> |
| 172 end | 172 end |
| 173 | 173 |
| 174 and main () = | 174 and main () = |
| 175 ls <- list (); | 175 ls <- list (); |