diff --git a/test/contracts/namespaces.aes b/test/contracts/namespaces.aes index 09d0a2e..d67f990 100644 --- a/test/contracts/namespaces.aes +++ b/test/contracts/namespaces.aes @@ -1,16 +1,10 @@ namespace Lib = - // namespace Internal = - // function rev(xs, ys) = - // switch(xs) - // [] => ys - // x :: xs => rev(xs, x :: ys) - private - function rev(xs, ys) = - switch(xs) - [] => 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, [])