Skip to content

[TS] Fix test project to work with F# 9 tests #1663

[TS] Fix test project to work with F# 9 tests

[TS] Fix test project to work with F# 9 tests #1663

Triggered via push December 18, 2024 08:47
Status Failure
Total duration 6m 58s
Artifacts

build.yml

on: push
verify-linting
21s
verify-linting
Check that solution can be restored
22s
Check that solution can be restored
build-typescript
2m 22s
build-typescript
build-integration
3m 2s
build-integration
build-standalone
5m 17s
build-standalone
build-dart
2m 1s
build-dart
analyzers
3m 25s
analyzers
Matrix: build-javascript
Matrix: build-python
Matrix: build-rust
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 97 warnings
build-typescript
This comparison appears to be unintentional because the types '0' and '1' have no overlap.
build-typescript
This comparison appears to be unintentional because the types '1' and '0' have no overlap.
build-typescript
Process completed with exit code 1.
build-standalone
Process completed with exit code 1.
Check that solution can be restored
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify-linting
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-dart
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-typescript
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-python (ubuntu-latest, 3.11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-python (ubuntu-latest, 3.11): tests/Python/TestApplicative.fs#L1088
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-python (ubuntu-latest, 3.11): tests/Python/TestApplicative.fs#L1090
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-python (ubuntu-latest, 3.11): tests/Python/TestApplicative.fs#L1090
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-python (ubuntu-latest, 3.11): tests/Python/TestApplicative.fs#L1653
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-python (ubuntu-latest, 3.11): tests/Python/TestType.fs#L573
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-python (ubuntu-latest, 3.12)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-python (ubuntu-latest, 3.12): tests/Python/TestApplicative.fs#L1088
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-python (ubuntu-latest, 3.12): tests/Python/TestApplicative.fs#L1090
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-python (ubuntu-latest, 3.12): tests/Python/TestApplicative.fs#L1090
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-python (ubuntu-latest, 3.12): tests/Python/TestApplicative.fs#L1653
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-python (ubuntu-latest, 3.12): tests/Python/TestType.fs#L573
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-python (ubuntu-latest, 3.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-python (ubuntu-latest, 3.10): tests/Python/TestApplicative.fs#L1088
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-python (ubuntu-latest, 3.10): tests/Python/TestApplicative.fs#L1090
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-python (ubuntu-latest, 3.10): tests/Python/TestApplicative.fs#L1090
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-python (ubuntu-latest, 3.10): tests/Python/TestApplicative.fs#L1653
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-python (ubuntu-latest, 3.10): tests/Python/TestType.fs#L573
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-integration
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-rust (threaded)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-rust (threaded)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (threaded)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (threaded)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (threaded)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (threaded): tests/Rust/tests/src/ApplicativeTests.fs#L1731
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-rust (threaded): tests/Rust/tests/src/MiscTests.fs#L1225
This rule will never be matched
build-rust (threaded): tests/Rust/tests/src/TypeTests.fs#L499
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
analyzers
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
analyzers: tests/React/SpreadSheet.fs#L248
This construct is deprecated. event.keyCode is deprecated see https://developer.mozilla.org/en-US/docs/Web/API/KeyboardEvent/keyCode for more information
analyzers: tests/React/SpreadSheet.fs#L248
This construct is deprecated. event.keyCode is deprecated see https://developer.mozilla.org/en-US/docs/Web/API/KeyboardEvent/keyCode for more information
analyzers: tests/React/SpreadSheet.fs#L248
This construct is deprecated. event.keyCode is deprecated see https://developer.mozilla.org/en-US/docs/Web/API/KeyboardEvent/keyCode for more information
analyzers: src/quicktest-dart/QuickTest.fs#L41
Main module of program is empty: nothing will happen when it is run
analyzers: tests/Rust/tests/src/ApplicativeTests.fs#L1731
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
analyzers: tests/Python/TestApplicative.fs#L1088
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
analyzers: tests/Python/TestApplicative.fs#L1090
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
analyzers: tests/Python/TestApplicative.fs#L1090
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
analyzers: tests/Python/TestApplicative.fs#L1653
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
analyzers: tests/Js/Main/ApplicativeTests.fs#L1084
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
analyzers
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/
analyzers
Uploading multiple SARIF runs with the same category is deprecated and will be removed on June 4, 2025. Please update your workflow to upload a single run per category. For more information, see https://github.blog/changelog/2024-05-06-code-scanning-will-stop-combining-runs-from-a-single-upload
build-rust (default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-rust (default)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (default)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (default)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (default)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (default): tests/Rust/tests/src/ApplicativeTests.fs#L1731
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-rust (default): tests/Rust/tests/src/MiscTests.fs#L1225
This rule will never be matched
build-rust (default): tests/Rust/tests/src/TypeTests.fs#L499
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-rust (no_std)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-rust (no_std): tests/Rust/tests/src/ApplicativeTests.fs#L1731
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-rust (no_std): tests/Rust/tests/src/MiscTests.fs#L1225
This rule will never be matched
build-rust (no_std): tests/Rust/tests/src/TypeTests.fs#L499
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-rust (no_std)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (no_std)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (no_std)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-rust (no_std)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-python (windows-latest, 3.12): tests/Python/TestApplicative.fs#L1088
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-python (windows-latest, 3.12): tests/Python/TestApplicative.fs#L1090
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-python (windows-latest, 3.12): tests/Python/TestApplicative.fs#L1090
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-python (windows-latest, 3.12): tests/Python/TestApplicative.fs#L1653
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-python (windows-latest, 3.12): tests/Python/TestType.fs#L573
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-python (windows-latest, 3.10): tests/Python/TestApplicative.fs#L1088
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-python (windows-latest, 3.10): tests/Python/TestApplicative.fs#L1090
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-python (windows-latest, 3.10): tests/Python/TestApplicative.fs#L1090
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-python (windows-latest, 3.10): tests/Python/TestApplicative.fs#L1653
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-python (windows-latest, 3.10): tests/Python/TestType.fs#L573
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-javascript (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-javascript (ubuntu-latest): tests/Js/Main/ApplicativeTests.fs#L1084
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-javascript (ubuntu-latest): tests/Js/Main/ApplicativeTests.fs#L1086
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-javascript (ubuntu-latest): tests/Js/Main/ApplicativeTests.fs#L1086
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-javascript (ubuntu-latest): tests/Js/Main/ApplicativeTests.fs#L1703
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-javascript (ubuntu-latest): tests/Js/Main/ComparisonTests.fs#L721
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'int'.
build-javascript (ubuntu-latest): tests/Js/Main/MiscTests.fs#L388
This and other recursive references to the object(s) being defined will be checked for initialization-soundness at runtime through the use of a delayed reference. This is because you are defining one or more recursive objects, rather than recursive functions. This warning may be suppressed by using '#nowarn "40"' or '--nowarn:40'.
build-javascript (ubuntu-latest): tests/Js/Main/MiscTests.fs#L1106
This rule will never be matched
build-javascript (ubuntu-latest): tests/Js/Main/NestedAndRecursivePatternTests.fs#L90
Pattern discard is not allowed for union case that takes no data.
build-javascript (ubuntu-latest): tests/Js/Main/NestedAndRecursivePatternTests.fs#L91
Pattern discard is not allowed for union case that takes no data.
build-javascript (ubuntu-latest): tests/Js/Main/NestedAndRecursivePatternTests.fs#L92
Pattern discard is not allowed for union case that takes no data.
build-python (windows-latest, 3.11): tests/Python/TestApplicative.fs#L1088
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-python (windows-latest, 3.11): tests/Python/TestApplicative.fs#L1090
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-python (windows-latest, 3.11): tests/Python/TestApplicative.fs#L1090
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-python (windows-latest, 3.11): tests/Python/TestApplicative.fs#L1653
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-python (windows-latest, 3.11): tests/Python/TestType.fs#L573
An indexed property's getter and setter must have the same type. Property 'Item' has getter of type 'int' but setter of type 'string'.
build-standalone
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-javascript (windows-latest): tests/Js/Main/ApplicativeTests.fs#L1084
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'Result<'a,int>'.
build-javascript (windows-latest): tests/Js/Main/ApplicativeTests.fs#L1086
The instantiation of the generic type 'Const' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. 'Const<_,_>'.
build-javascript (windows-latest): tests/Js/Main/ApplicativeTests.fs#L1086
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<'T> has been constrained to be type 'Const<'a,Result<'b,int>>'.
build-javascript (windows-latest): tests/Js/Main/ApplicativeTests.fs#L1703
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor has been constrained to be type 'Functor'.
build-javascript (windows-latest): tests/Js/Main/ComparisonTests.fs#L721
This construct causes code to be less generic than indicated by the type annotations. The type variable 'T has been constrained to be type 'int'.
build-javascript (windows-latest): tests/Js/Main/MiscTests.fs#L388
This and other recursive references to the object(s) being defined will be checked for initialization-soundness at runtime through the use of a delayed reference. This is because you are defining one or more recursive objects, rather than recursive functions. This warning may be suppressed by using '#nowarn "40"' or '--nowarn:40'.
build-javascript (windows-latest): tests/Js/Main/MiscTests.fs#L1106
This rule will never be matched
build-javascript (windows-latest): tests/Js/Main/NestedAndRecursivePatternTests.fs#L90
Pattern discard is not allowed for union case that takes no data.
build-javascript (windows-latest): tests/Js/Main/NestedAndRecursivePatternTests.fs#L91
Pattern discard is not allowed for union case that takes no data.
build-javascript (windows-latest): tests/Js/Main/NestedAndRecursivePatternTests.fs#L92
Pattern discard is not allowed for union case that takes no data.