annotate tests/headers.ur @ 1651:dfc854e478bb

Error messages about applying 'dynClass' to tags that don't like it
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Dec 2011 13:31:00 -0500
parents 2f5fd248588d
children
rev   line source
adam@1465 1 fun action () =
adam@1465 2 setHeader (blessResponseHeader "Location") "http://www.google.com/";
adam@1465 3 return <xml/>
adam@1465 4
adam@1465 5 fun main () =
adam@1465 6 ag <- getHeader (blessRequestHeader "User-Agent");
adam@1465 7 return <xml><body>
adam@1465 8 User agent: {[ag]}
adam@1465 9
adam@1465 10 <form> <submit action={action}/> </form>
adam@1465 11 </body></xml>