js/src/jit-test/tests/arrow-functions/church-2.js@129ffea94266 (annotated)
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.
| michael@0 | 1 | // Church-Peano integers |
| michael@0 | 2 | |
| michael@0 | 3 | var Zero = f => x => x; |
| michael@0 | 4 | var Succ = n => f => x => n(f)(f(x)); |
| michael@0 | 5 | var Add = a => b => f => x => a(f)(b(f)(x)); |
| michael@0 | 6 | var Mul = a => b => f => x => a(b(f))(x); |
| michael@0 | 7 | var Exp = a => b => b(a); |
| michael@0 | 8 | |
| michael@0 | 9 | var n = f => f(k => k + 1)(0); |
| michael@0 | 10 | |
| michael@0 | 11 | assertEq(n(Zero), 0); |
| michael@0 | 12 | assertEq(n(Succ(Zero)), 1); |
| michael@0 | 13 | assertEq(n(Succ(Succ(Zero))), 2); |
| michael@0 | 14 | |
| michael@0 | 15 | var Three = Succ(Succ(Succ(Zero))); |
| michael@0 | 16 | var Five = Succ(Succ(Three)); |
| michael@0 | 17 | assertEq(n(Add(Three)(Five)), 8); |
| michael@0 | 18 | assertEq(n(Mul(Three)(Five)), 15); |
| michael@0 | 19 | assertEq(n(Exp(Three)(Five)), 243); |
