js/src/jit-test/tests/arrow-functions/church-2.js

Sat, 03 Jan 2015 20:18:00 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Sat, 03 Jan 2015 20:18:00 +0100
branch
TOR_BUG_3246
changeset 7
129ffea94266
permissions
-rw-r--r--

Conditionally enable double key logic according to:
private browsing mode or privacy.thirdparty.isolate preference and
implement in GetCookieStringCommon and FindCookie where it counts...
With some reservations of how to convince FindCookie users to test
condition and pass a nullptr when disabling double key logic.

     1 // Church-Peano integers
     3 var Zero = f => x => x;
     4 var Succ = n => f => x => n(f)(f(x));
     5 var Add = a => b => f => x => a(f)(b(f)(x));
     6 var Mul = a => b => f => x => a(b(f))(x);
     7 var Exp = a => b => b(a);
     9 var n = f => f(k => k + 1)(0);
    11 assertEq(n(Zero), 0);
    12 assertEq(n(Succ(Zero)), 1);
    13 assertEq(n(Succ(Succ(Zero))), 2);
    15 var Three = Succ(Succ(Succ(Zero)));
    16 var Five = Succ(Succ(Three));
    17 assertEq(n(Add(Three)(Five)), 8);
    18 assertEq(n(Mul(Three)(Five)), 15);
    19 assertEq(n(Exp(Three)(Five)), 243);

mercurial