adamc@590: cookie int : int
adamc@590:
adamc@590: fun getOpt (t ::: Type) (o : option t) (v : t) : t =
adamc@590: case o of
adamc@590: None => v
adamc@590: | Some x => x
adamc@590:
adamc@590: fun main () : transaction page =
adamc@590: n <- getCookie int;
adamc@590: sn <- source (getOpt n 7);
adamc@590: return
adamc@590: {[n]}}/>
adamc@590: CHANGE
adamc@590: