annotate tests/headers.ur @ 1496:3010472edf44

Tutorial section headings
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 17:31:57 -0400
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>