adamc@973: fun fst [a] [b] (x : a) (y : b) = x adamc@973: fun snd [a] [b] (x : a) (y : b) = y adamc@973: adamc@974: fun fact n = adamc@974: case n of adamc@974: 0 => 1 adamc@974: | _ => n * fact (n - 1) adamc@974: adamc@971: fun main () = adamc@971: s <- source ""; adamc@973: s' <- source ""; adamc@973: f <- source (plus 1); adamc@973: f2 <- source fst; adamc@973: r <- source {A = "x", B = "y"}; adamc@971: adamc@971: return adamc@973:

adamc@972: adamc@972: Function: