The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/js/src/jit-test/tests/arrow-functions/church-2.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,19 @@
     1.4 +// Church-Peano integers
     1.5 +
     1.6 +var Zero = f => x => x;
     1.7 +var Succ = n => f => x => n(f)(f(x));
     1.8 +var Add = a => b => f => x => a(f)(b(f)(x));
     1.9 +var Mul = a => b => f => x => a(b(f))(x);
    1.10 +var Exp = a => b => b(a);
    1.11 +
    1.12 +var n = f => f(k => k + 1)(0);
    1.13 +
    1.14 +assertEq(n(Zero), 0);
    1.15 +assertEq(n(Succ(Zero)), 1);
    1.16 +assertEq(n(Succ(Succ(Zero))), 2);
    1.17 +
    1.18 +var Three = Succ(Succ(Succ(Zero)));
    1.19 +var Five = Succ(Succ(Three));
    1.20 +assertEq(n(Add(Three)(Five)), 8);
    1.21 +assertEq(n(Mul(Three)(Five)), 15);
    1.22 +assertEq(n(Exp(Three)(Five)), 243);