annotate tests/headers.ur @ 1513:5616b2cbdcdb

Tutorial: hyperlinks for metaprogramming and row types
author Adam Chlipala <adam@chlipala.net>
date Wed, 20 Jul 2011 08:14:49 -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>