adam@2079: fun dn [a] (_ : show a) (x : source a) : xbody =
adam@2079:
adam@2079:
adam@2079:
adam@2079: fun main () : transaction page =
adam@2079: a <- source "";
adam@2079: b <- source True;
adam@2079: c <- source "a@b";
adam@2079: d <- source "";
adam@2079: e <- source "";
adam@2079: f <- source "";
adam@2080: g <- source 1.0;
adam@2080: h <- source 1.0;
adam@2080: i <- source "#CCCCCC";
adam@2080: j <- source "2014/11/16";
adam@2080: k <- source "2014/11/16 12:30:45";
adam@2080: l <- source "2014/11/16 12:30:45";
adam@2080: m <- source "2014/11";
adam@2080: n <- source "2014-W7";
adam@2080: o <- source "12:30:45";
adam@2079:
adam@2079: return
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2079:
adam@2080:
adam@2080:
adam@2080:
adam@2080:
adam@2080:
adam@2080:
adam@2080:
adam@2080:
adam@2080:
adam@2079:
adam@2079:
adam@2079:
adam@2079: {dn a};
adam@2079: {dn b};
adam@2079: {dn c};
adam@2079: {dn d};
adam@2079: {dn e};
adam@2080: {dn f};
adam@2080: {dn g};
adam@2080: {dn h};
adam@2080: {dn i};
adam@2080: {dn j};
adam@2080: {dn k};
adam@2080: {dn l};
adam@2080: {dn m};
adam@2080: {dn n};
adam@2080: {dn o}
adam@2079: