Ur/Web: tests/plink.ur annotate

Fix some type-class detection

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 01 Nov 2008 17:19:12 -0400
parents	71bafe66dbe1
children

rev	line source
adamc@120	1 val pA = fn size => <html><body>
adamc@120	2 <font size={size}>Hello World!</font>
adamc@120	3 </body></html>
adamc@120	4
adamc@144	5 val main : unit -> page = fn () => <html><body>
adamc@120	6 <li> <a link={pA 5}>Size 5</a></li>
adamc@120	7 <li> <a link={pA 10}>Size 10</a></li>
adamc@120	8 </body></html>

Mercurial > urweb