source-academy / js-slang / 3449

77%

push

travis-ci

Type Inferencer for S3 (#551)

* 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 operator

* fix pair fun... (continued)

2444 of 3224 branches covered (75.81%)

Branch coverage included in aggregate %.

6600 of 7616 relevant lines covered (86.66%)

101177.75 hits per line