Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / regression / known-case1.sml
... / ...
CommitLineData
1
2fun nlist 0 = 0::nil
3 | nlist n = n::(nlist (n-1))
4
5val rec last =
6 fn nil => 0
7 | x::nil => x
8 | y::x::nil => y
9 | _ :: l => last l
10
11val n = 1 + (last (nlist (10)))
12
13val _ = print ((Int.toString n) ^ "\n")