aboutsummaryrefslogtreecommitdiff
path: root/examples/lists.sil
blob: 72426497dff4f7203154b93d771dede5a7d4f3fa (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
[Int] append([Int] xs, [Int] ys) {
	if (xs.nil) {
		return ys;
	} else {
		return xs.hd : append(xs.tl, ys);
	}
}

[Int] main() {
	return append([1,2,3], [4,5,6]);
}