13616209329
77%

Ran 02 Mar 2025 02:13PM UTC

Jobs 1

Files 151

Run time 1min

Badge

Embed ▾

Committed 02 Mar 2025 02:08PM UTC coverage: 81.131% (-0.1%) from 81.255%

Build # 13616209329

Build Type

push

github

Committed by

web-flow

Commit Message

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

Run Details

3580 of 4791 branches covered (74.72%)

Branch coverage included in aggregate %.

56 of 84 new or added lines in 4 files covered. (66.67%)

11198 of 13424 relevant lines covered (83.42%)

144933.77 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
5	72.73	-18.18%	src/modules/preprocessor/index.ts
7	60.61	-15.39%	src/modules/loader/index.ts
8	40.46	-1.03%	src/errors/typeErrors.ts
8	86.4	-0.74%	src/typeChecker/typeErrorChecker.ts

Jobs

ID	Job ID	Ran	Files	Coverage
1	13616209329.1	02 Mar 2025 02:13PM UTC	151	81.13	GitHub Action Run

source-academy / js-slang / 13616209329
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 13616209329

source-academy / js-slang / 13616209329 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 13616209329

source-academy / js-slang / 13616209329
77%

README BADGES
x