PT-156466783 namespaces #516

Merged
zxq9 merged 18 commits from PT-156466783-namespaces into master 2019-02-13 23:54:07 +09:00
Showing only changes of commit 0b86cdc318 - Show all commits

View File

@ -1,16 +1,10 @@
namespace Lib = namespace Lib =
// namespace Internal = private function rev(xs, ys) =
// function rev(xs, ys) = switch(xs)
// switch(xs) [] => ys
// [] => ys x :: xs => rev(xs, x :: ys)
// x :: xs => rev(xs, x :: ys)
private
function rev(xs, ys) =
switch(xs)
[] => ys
x :: xs => rev(xs, x :: ys)
function reverse(xs : list('a)) : list('a) = rev(xs, []) function reverse(xs : list('a)) : list('a) = rev(xs, [])