annotate tests/style.ur @ 1276:5b5c0b552f59

Another run of Specialize, using ReduceLocal on datatype parameters
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Jun 2010 09:42:37 -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>