annotate tests/style.ur @ 2092:d4eb9b6729f8

Another try at a proper fix for constraint matching in subsignature checking
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 11:23:27 -0500
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>