Mercurial > urweb
comparison tests/let.ur @ 447:b77863cd0be2
Elaborating 'let'
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 01 Nov 2008 11:17:29 -0400 |
| parents | 86c063fedc4d |
| children |
comparison
equal
deleted
inserted
replaced
| 446:86c063fedc4d | 447:b77863cd0be2 |
|---|---|
| 1 fun main () : transaction page = | 1 fun main () : transaction page = |
| 2 let | 2 let |
| 3 val x = 1 | 3 val x = 1 |
| 4 val y = "Hello" | |
| 5 val z = 3.45 | |
| 4 in | 6 in |
| 5 return <xml>{[x]}</xml> | 7 return <xml>{[x]}, {[y]}, {[z]}</xml> |
| 6 end | 8 end |