comparison demo/more/dragList.ur @ 918:6a77c3e33908

Use cdata for shorter Monad map
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 11:02:53 -0400
parents 321a2d6feb40
children e6bc6bbd7a32
comparison
equal deleted inserted replaced
917:321a2d6feb40 918:6a77c3e33908
13 | Some di => original <- get di; 13 | Some di => original <- get di;
14 movedOver <- get itemSource; 14 movedOver <- get itemSource;
15 set di movedOver; 15 set di movedOver;
16 set itemSource original; 16 set itemSource original;
17 set draggingItem (Some itemSource)}> 17 set draggingItem (Some itemSource)}>
18 <dyn signal={Monad.mp (fn s => <xml>{[s]}</xml>) (signal itemSource)}/> 18 <dyn signal={Monad.mp cdata (signal itemSource)}/>
19 </li></xml>) itemSources} 19 </li></xml>) itemSources}
20 </ul> 20 </ul>
21 </xml> 21 </xml>
22 22
23 fun main () = 23 fun main () =