blob: 715e225d101dff7bbe4faebc9b494817c389835a (
plain)
1
2
3
4
5
6
7
|
open Json
fun main () : transaction page = return <xml><body>
<pre>{[ fromJson "\"\\\\line \/ 1\\nline 2\"" : string ]}</pre><br/>
{[fromJson "[1, 2, 3]" : list int]}<br/>
{[toJson ("hi" :: "bye\"" :: "hehe" :: [])]}
</body></xml>
|