Mercurial > urweb
annotate demo/form.ur @ 1576:f6c74b4bc4e6
Change error message display order: only show disjointness/type class failures if all record unifications succeeded
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 15 Oct 2011 10:31:30 -0400 |
| parents | a71600cac815 |
| children |
| rev | line source |
|---|---|
| adamc@406 | 1 fun handler r = return <xml><body> |
| adamc@406 | 2 <table> |
| adamc@406 | 3 <tr> <th>A:</th> <td>{[r.A]}</td> </tr> |
| adamc@406 | 4 <tr> <th>B:</th> <td>{[r.B]}</td> </tr> |
| adamc@406 | 5 <tr> <th>C:</th> <td>{[r.C]}</td> </tr> |
| adamc@406 | 6 </table> |
| adamc@406 | 7 </body></xml> |
| adamc@406 | 8 |
| adamc@406 | 9 fun main () = return <xml><body> |
| adamc@406 | 10 <form> |
| adamc@406 | 11 <table> |
| adamc@406 | 12 <tr> <th>A:</th> <td><textbox{#A}/></td> </tr> |
| adamc@406 | 13 <tr> <th>B:</th> <td><textbox{#B}/></td> </tr> |
| adamc@406 | 14 <tr> <th>C:</th> <td><checkbox{#C}/></td> </tr> |
| adamc@406 | 15 <tr> <th/> <td><submit action={handler}/></td> </tr> |
| adamc@406 | 16 </table> |
| adamc@406 | 17 </form> |
| adamc@406 | 18 </body></xml> |