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: