comparison tests/blog.ur @ 453:787d4931fb07
Almost have that nested save function compiling
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Sat, 01 Nov 2008 21:19:43 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 fun main wrap = |
| |
2 let |
| |
3 fun edit id = |
| |
4 let |
| |
5 val r = 0 |
| |
6 fun save () = <xml/> |
| |
7 in |
| |
8 wrap (save ()) |
| |
9 end |
| |
10 in |
| |
11 edit 0 |
| |
12 end |
| |
13 |
| |
14 fun wrap (inside : xbody) = return <xml/> |
| |
15 |
| |
16 val main () = main wrap |
