comparison tests/rewrite.ur @ 768:3b7e46790fa7
Path rewriting
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Sat, 02 May 2009 13:23:07 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 table t : { A : int } |
| |
2 |
| |
3 fun other () = return <xml><body> |
| |
4 Other |
| |
5 </body></xml> |
| |
6 |
| |
7 fun main () = return <xml><body> |
| |
8 <a link={other ()}>Hi!</a> |
| |
9 </body></xml> |
