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.

Sign up for GitHub

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

Implement minimal support for generic buffers #1571

Merged
merged 33 commits into from
Sep 1, 2024

Remove unused setter on 'AnyType.base' and 'AnyTerm.base'

22a95a4
Select commit
Loading
Failed to load commit list.
Merged

Implement minimal support for generic buffers #1571

Remove unused setter on 'AnyType.base' and 'AnyTerm.base'
22a95a4
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Sep 1, 2024 in 1s

87.47% of diff hit (target 88.18%)

View this Pull Request on Codecov

87.47% of diff hit (target 88.18%)

Annotations

Check warning on line 59 in Sources/FrontEnd/Terms/AnyTerm.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/AnyTerm.swift#L59 

Added line #L59 was not covered by tests

Check warning on line 100 in Sources/FrontEnd/Terms/AnyTerm.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/AnyTerm.swift#L100 

Added line #L100 was not covered by tests

Check warning on line 18 in Sources/FrontEnd/Terms/ConcreteTerm.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/ConcreteTerm.swift#L18 

Added line #L18 was not covered by tests

Check warning on line 4 in Sources/FrontEnd/Terms/ErrorTerm.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/ErrorTerm.swift#L4 

Added line #L4 was not covered by tests

Check warning on line 10 in Sources/FrontEnd/Terms/ErrorTerm.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/ErrorTerm.swift#L10 

Added line #L10 was not covered by tests

Check warning on line 24 in Sources/FrontEnd/Terms/GenericTermParameter.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/GenericTermParameter.swift#L24 

Added line #L24 was not covered by tests

Check warning on line 27 in Sources/FrontEnd/Terms/TermProtocol.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/TermProtocol.swift#L27 

Added line #L27 was not covered by tests

Check warning on line 32 in Sources/FrontEnd/Terms/TermProtocol.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/TermProtocol.swift#L32 

Added line #L32 was not covered by tests

Check warning on line 17 in Sources/FrontEnd/Terms/TermVariable.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/TermVariable.swift#L17 

Added line #L17 was not covered by tests

Check warning on line 20 in Sources/FrontEnd/Terms/TermVariable.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/TermVariable.swift#L20 

Added line #L20 was not covered by tests

Check warning on line 26 in Sources/FrontEnd/Terms/TermVariable.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/Terms/TermVariable.swift#L26 

Added line #L26 was not covered by tests

Check warning on line 398 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L398 

Added line #L398 was not covered by tests

Check warning on line 936 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L935-L936 

Added lines #L935 - L936 were not covered by tests

Check warning on line 943 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L943 

Added line #L943 was not covered by tests

Check warning on line 977 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L976-L977 

Added lines #L976 - L977 were not covered by tests

Check warning on line 983 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L980-L983 

Added lines #L980 - L983 were not covered by tests

Check warning on line 991 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L990-L991 

Added lines #L990 - L991 were not covered by tests

Check warning on line 1021 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L1021 

Added line #L1021 was not covered by tests

Check warning on line 1023 in Sources/FrontEnd/TypeChecking/ConstraintSystem.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/ConstraintSystem.swift#L1023 

Added line #L1023 was not covered by tests

Check warning on line 98 in Sources/FrontEnd/TypeChecking/Solution.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/Solution.swift#L97-L98 

Added lines #L97 - L98 were not covered by tests

Check warning on line 103 in Sources/FrontEnd/TypeChecking/Solution.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/Solution.swift#L102-L103 

Added lines #L102 - L103 were not covered by tests

Check warning on line 27 in Sources/FrontEnd/TypeChecking/SubstitutionMap.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/SubstitutionMap.swift#L27 

Added line #L27 was not covered by tests

Check warning on line 79 in Sources/FrontEnd/TypeChecking/SubstitutionMap.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/SubstitutionMap.swift#L78-L79 

Added lines #L78 - L79 were not covered by tests

Check warning on line 118 in Sources/FrontEnd/TypeChecking/SubstitutionMap.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/SubstitutionMap.swift#L116-L118 

Added lines #L116 - L118 were not covered by tests

Check warning on line 120 in Sources/FrontEnd/TypeChecking/SubstitutionMap.swift

See this annotation in the file changed.

@codecov codecov / codecov/patch

Sources/FrontEnd/TypeChecking/SubstitutionMap.swift#L120 

Added line #L120 was not covered by tests
View more details on Codecov