asm89 · March 24, 2014 16:34
diff --git a/checked.php b/checked.php
 <?hh

 function addOne(int $x): int {
    return $x + 1;
 }

 function main() {
    addOne(42);
    addOne('foo');
 }
 main();
diff --git a/not-checked.php b/not-checked.php
 <?hh

 function addOne(int $x): int {
    return $x + 1;
 }

 addOne(42);
 addOne('foo');
	<?hh

	function addOne(int $x): int {
	return $x + 1;
	}

	function main() {
	addOne(42);
	addOne('foo');
	}
	main();