Files
test-repo/tests/flow/fixpoint/Fun.js
T
Christopher Chedeau 3375cfe605 Move tests around (#454)
* new_tests

* move_all_clobbered_tests

* remove all the tests that no longer exist

* re-run flow tests

* Move all the flow tests to tests/flow and prettier to tests/

* Move prettier tests to their own folders

* Add jsfmt files

* run prettier snapshot tests
2017-01-24 14:35:37 -08:00

31 lines
601 B
JavaScript

/* @providesModule Fun */
function eq(x:number,y:number) { return true };
function sub(x:number,y:number) { return 0; }
function mul(x:number,y:number) { return 0; }
function fix(fold) {
var delta = function(delta) {
return fold(
function(x) { var eta = delta(delta); return eta(x); }
);
};
return delta(delta);
}
function mk_factorial() {
return fix(function(factorial) {
return function(n) {
if (eq (n, 1)) { return 1; }
return mul (factorial (sub (n, 1)), n);
};
});
}
var factorial = mk_factorial();
factorial("...");
module.exports = {fn: fix};