annotate tests/style.ur @ 1237:a9c200f73f24

More descriptive info flow error message
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 16:36:16 -0400
parents 12ec14a6be0b
children
rev   line source
adamc@720 1 style q
adamc@720 2 style r
adamc@718 3
adamc@724 4 fun main () : transaction page = return <xml>
adamc@724 5 <head>
adamc@724 6 <link rel="stylesheet" type="text/css" href="http://www.schizomaniac.net/style.css" media="screen"/>
adamc@724 7 </head>
adamc@724 8 <body>
adamc@724 9 Hi. <span class={q}>And hi <span class={r}>again</span>!</span>
adamc@724 10 </body>
adamc@724 11 </xml>