Mercurial > urweb
annotate tests/subform.ur @ 987:6dd122f10c0c
Better location calculation for record unification error messages; infer kind arguments to module-projected variables
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 05 Oct 2009 16:36:38 -0400 |
| 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> |