comparison demo/more/orm1.ur @ 1984:819756825c8d

Merge in upstream
author Patrick Hurst <phurst@mit.edu>
date Fri, 14 Feb 2014 04:00:03 -0500
parents 8d3aa6c7cee0
children
comparison
equal deleted inserted replaced
1983:0ff4f64b4309 1984:819756825c8d
38 {List.mapX (fn (s, ro) => <xml><li> {[s.D]}: {case ro of 38 {List.mapX (fn (s, ro) => <xml><li> {[s.D]}: {case ro of
39 None => <xml>No parent</xml> 39 None => <xml>No parent</xml>
40 | Some r => <xml>{[r.B]}</xml>} 40 | Some r => <xml>{[r.B]}</xml>}
41 </li></xml>) lsS} 41 </li></xml>) lsS}
42 </body></xml> 42 </body></xml>
43 43
44 fun main () = return <xml><body> 44 fun main () = return <xml><body>
45 <form><submit action={action}/></form> 45 <form><submit action={action}/></form>
46 </body></xml> 46 </body></xml>