annotate tests/timef.ur @ 2057:f4a6ccb7937f

Allow Body tags inside cformTags This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 17 Aug 2014 18:28:37 +0000
parents 7d459f223ac2
children
rev   line source
adam@1609 1 fun main () : transaction page =
adam@1615 2 date <- source "2011/11/26 10:08:42";
adam@1609 3 format <- source "";
adam@1609 4 return <xml><body>
adam@1609 5 <ctextbox source={date}/>
adam@1609 6 <ctextbox source={format}/>
adam@1609 7 <dyn signal={d <- signal date;
adam@1609 8 f <- signal format;
adam@1609 9 return (case read d of
adam@1609 10 None => <xml/>
adam@1609 11 | Some d => <xml>{[timef f d]}</xml>)}/>
adam@1609 12 </body></xml>