Mercurial > urweb
annotate tests/subform.ur @ 1795:d28adceef22a
Allow type class instances with hypotheses via local ('let') definitions
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 25 Jul 2012 14:04:59 -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> |