annotate tests/headers.ur @ 1507:ca8c8b8cc477

Tutorial: TLC meets type classes and modules
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Jul 2011 13:04:07 -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>