source-academy / js-slang / 13616209329 / 1

77%

master: 77%

push

github

Typed modules (#1739)

* Initial prototype of typed modules

* Using "placeholder class" for representing module types

* Enhance module imports

* Fix support for untyped modules

* Fix support for multiple typed module imports

* Remove redundant log statements

* Update type of loadedModulesTypes

* Handle built-in functions as special cases

* Add typed modules tests

* Load types only when variant is Typed

* Revert temporary fixes

* Fix bug such that untyped module should not be type-checked

* Changed code according to code review

3580 of 4791 branches covered (74.72%)

Branch coverage included in aggregate %.

11198 of 13424 relevant lines covered (83.42%)

144933.77 hits per line