# HG changeset patch # User Adam Chlipala # Date 1252422173 14400 # Node ID 6a77c3e3390824e426f3de1149e58f43277167a6 # Parent 321a2d6feb4064a82997db259d0575a9bfe5ad66 Use cdata for shorter Monad map diff -r 321a2d6feb40 -r 6a77c3e33908 demo/more/dragList.ur --- a/demo/more/dragList.ur Tue Sep 08 10:55:49 2009 -0400 +++ b/demo/more/dragList.ur Tue Sep 08 11:02:53 2009 -0400 @@ -15,7 +15,7 @@ set di movedOver; set itemSource original; set draggingItem (Some itemSource)}> - {[s]}) (signal itemSource)}/> + ) itemSources}