source-academy / js-slang / 2793

77%

push

travis-ci

[WIP] Type Inferencing for up to Source 2 (#495)

* Allow source file to be passed to repl

* added initial code for typechecker

* added support for typing variable expressions

* added basic functionality for type inference

* check in change to index.ts

* removed console logs

* commented out code

* added support for multiple statements and block statements

* added support for more statements and functions with arbitary args

* Binary expression (#1)

* add support for binary expressions and simple test cases

* remove calls to typechecker in index, fix linting issues

* Function declaration (#2)

* added support for function decl

* added linting changes

* made NaN, undefined and Infinity work

* added more tests

* added more tests

* added support for unary fns

* update linting

* removed console logs

* tidy up test cases and add conditional statements

* add predefined functions

* Polytypes (#6)

* first attempt at annotated AST

* fix inferred function types not being saved in function declarations

* annyoing precommit changes

* undo pre hook changes

* rmeove yarn tslint --fix as it was removing object literal quotes

* added integers and added more type checking support for binary expressions

* added support for polymorphic types

* commented unused code

* added more type checking for polytypes and cleaned up tests

* fixed linting

Co-authored-by: Raynold Ng <raynold.ng24@gmail.com>

* Node preprocessing (#7)

* undo generation of AST

* first attempt at hoisting const and function declarations

* commented out most of the old code

* updated tests

* added support for up to function app

* linting

* added most of the remaining cases

* wrap program around block statement and save infer types in AST

* add support for pairs

* follow spec by changing float to number and changing func signatures

* linting

* added unary negative operato... (continued)

1577 of 1947 branches covered (81.0%)

Branch coverage included in aggregate %.

385 of 385 new or added lines in 3 files covered. (100.0%)

4715 of 5120 relevant lines covered (92.09%)

213724.01 hits per line