Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: intermediate type computer #600

Merged
merged 34 commits into from
Oct 5, 2023

test: ignore some lines for coverage

650c002
Select commit
Loading
Failed to load commit list.
Merged

feat: intermediate type computer #600

test: ignore some lines for coverage
650c002
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 5, 2023 in 1s

100.00% (+0.00%) compared to 6ae387a

View this Pull Request on Codecov

100.00% (+0.00%) compared to 6ae387a

Details

Codecov Report

Merging #600 (650c002) into main (6ae387a) will not change coverage.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##              main      #600    +/-   ##
==========================================
  Coverage   100.00%   100.00%            
==========================================
  Files           32        32            
  Lines         4431      4659   +228     
  Branches       661       805   +144     
==========================================
+ Hits          4431      4659   +228     
Files Coverage Δ
src/language/formatting/safe-ds-formatter.ts 100.00% <100.00%> (ø)
src/language/helpers/checks.ts 100.00% <100.00%> (ø)
src/language/typing/model.ts 100.00% <100.00%> (ø)
src/language/typing/safe-ds-type-computer.ts 100.00% <100.00%> (ø)
...ge/validation/other/declarations/parameterLists.ts 100.00% <100.00%> (ø)
...nguage/validation/other/declarations/parameters.ts 100.00% <100.00%> (ø)
...c/language/validation/other/types/callableTypes.ts 100.00% <100.00%> (ø)