Mercurial > urweb
annotate tests/blob.ur @ 1618:705cb41ac7d0
Update Coq semantics for 8.3pl2
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 30 Nov 2011 15:28:56 -0500 |
parents | 67ebd30a2283 |
children |
rev | line source |
---|---|
adam@1471 | 1 fun main () = |
adam@1471 | 2 setHeader (blessResponseHeader "X-Test") "Test"; |
adam@1471 | 3 return <xml><body>Test</body></xml> |
adamc@737 | 4 |
adam@1471 | 5 fun bad () = |
adam@1471 | 6 setHeader (blessResponseHeader "X-Test") "Test"; |
adam@1471 | 7 returnBlob (textBlob "hello") (blessMime "text/plain") |