infernu
infernu copied to clipboard
Type inference and checking for a safer JavaScript.
I tried to run `infernu` on an application of mine and got ``` raynos at raynos-SVS15127PXB ~/uber/autobahn on typescript* $ ~/.cabal/bin/infernu app.js app.js:3:10: Error: Unbound variable: '"require"' ``` nodejs has...
Currently it isn't possible to specify recursive types in the builtins.
As a newbie, I want infernu to automatically recurse on directories, so that I can easily run infernu on large codebases. As a mitigation, I can: ``` $ find ....
tests/valid/new-func.js fails, because this function: ``` function mkn(f, a) { return new f(a); } ``` Can't really be used due to automatic row-closing (f is inferred to have `this` of...
Review these tests: ``` // FAIL valid/nothis-as-obj-param.js:10:7: Error: Could not unify: {f: .(Number -> a), ..b} with Undefined y valid/nothis-as-obj-param.js // FAIL valid/nothis-as-param.js:12:7: Error: Could not unify: {f: .(Number ->...