2011/9/2 Gergely Buday <[email protected]>: > Hi there, > > what is a no-operation idiom for Ur/Web that I could put into an else > clause in a transaction monad? > > stored <- get store; > input <- get counter; > if (stored <> input) > then set var value > else <nop> > sleep 100;
Try 'return ()' (if ... then ... else return ()); ... _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
