+ Result.Sequence & Option|VOption use Accumulator #1038
fcallejonfable.yml
on: pull_request
testfable3
1m 8s
testfable4
42s
testFable3SubsetOnCore
1m 1s
Annotations
11 errors and 13 warnings
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L28
The declared type parameter 't' cannot be used here since the type parameter cannot be resolved at compile time
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L88
A type parameter is missing a constraint 'when (Apply or ^?511904 or ^Functor<'U> or ^?511892) : (static member ``<*>`` : ^?511904 * ^Functor<'U> * ^?511892 * Apply -> ^?511892)'
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L88
Type mismatch. Expecting a� ''a list -> seq<'a>' �but given a� ''a list -> NonEmptySeq<'a>' �The type 'seq<'a>' does not match the type 'NonEmptySeq<'a>'
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L201
A type parameter is missing a constraint 'when (Apply or ^?511904 or ^Applicative<'T> or ^?511892) : (static member ``<*>`` : ^?511904 * ^Applicative<'T> * ^?511892 * Apply -> ^?511892)'
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L202
This function takes too many arguments, or is used in a context where a function is not expected
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L206
This function takes too many arguments, or is used in a context where a function is not expected
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L207
A type parameter is missing a constraint 'when (Apply or ^?511904 or Choice<'t,'e> or ^?511892) : (static member ``<*>`` : ^?511904 * Choice<'t,'e> * ^?511892 * Apply -> ^?511892)'
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L207
Type constraint mismatch. The type � ''Functor<seq<'U>>' �is not compatible with type� 'Choice<seq<'t>,'e>'
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L207
A type parameter is missing a constraint 'when (Apply or ^?511904 or Choice<'t,'e> or ^?511892) : (static member ``<*>`` : ^?511904 * Choice<'t,'e> * ^?511892 * Apply -> ^?511892)'
|
|
testFable3SubsetOnCore
Process completed with exit code 1.
|
|
testfable3
Process completed with exit code 1.
|
|
testfable4
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-dotnet@v1, actions/setup-node@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
testFable3SubsetOnCore
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-dotnet@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Internals.fs#L44
This method or property is not normally used from F# code, use an explicit tuple pattern for deconstruction instead.
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Monoid.fs#L43
This upcast is unnecessary - the types are identical
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L28
A type parameter is missing a constraint 'when (Apply or ^?511904 or ^t or ^?511892) : (static member ``<*>`` : ^?511904 * ^t * ^?511892 * Apply -> ^?511892)'
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L81
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor<'U> has been constrained to be type '^t'.
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L81
A type parameter is missing a constraint 'when (IsLeftZero or ^t) : (static member IsLeftZero: ^t ref * IsLeftZero -> bool)'
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L88
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor<NonEmptySeq<'U>> has been constrained to be type '^Functor<seq<'U>>'.
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L88
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Functor<'U> has been constrained to be type '^t'.
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L201
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Applicative<seq<'T>> has been constrained to be type '^Functor<seq<'U>>'.
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Control/Traversable.fs#L201
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 '^t'.
|
|
testFable3SubsetOnCore:
src/FSharpPlus/Operators.fs#L698
This construct causes code to be less generic than indicated by the type annotations. The type variable 'Traversable<'Applicative<'T>> has been constrained to be type ''Traversable<'Functor<'T>>'.
|
|
testfable3
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-dotnet@v1, actions/setup-node@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|