Mercurial > urweb
annotate tests/subform.ur @ 2086:3d22f761a4b7
In checking signature subsumption, be sure to try constraints last.
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 04 Dec 2014 20:22:39 -0500 |
| parents | 8ce31c052dce |
| children |
| rev | line source |
|---|---|
| adamc@756 | 1 fun handler r = return <xml><body> |
| adamc@756 | 2 {[r.A]}, {[r.Sub.A]}, {[r.Sub.B]}, {[r.Sub.Sub]}, {[r.C]} |
| adamc@756 | 3 </body></xml> |
| adamc@756 | 4 |
| adamc@756 | 5 fun main () = return <xml><body> |
| adamc@756 | 6 <form> |
| adamc@756 | 7 <textbox{#A}/><br/> |
| adamc@756 | 8 <subform{#Sub}> |
| adamc@756 | 9 <textbox{#A}/><br/> |
| adamc@756 | 10 <textbox{#B}/><br/> |
| adamc@756 | 11 <textbox{#Sub}/><br/> |
| adamc@756 | 12 </subform> |
| adamc@756 | 13 <textbox{#C}/><br/> |
| adamc@756 | 14 <submit action={handler}/> |
| adamc@756 | 15 </form> |
| adamc@756 | 16 </body></xml> |