infernu icon indicating copy to clipboard operation
infernu copied to clipboard

Type inference and checking for a safer JavaScript.

Results 15 infernu issues
Sort by recently updated
recently updated
newest added

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...

enhancement

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 ....

enhancement

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...

enhancement

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 ->...