Skip to content

Generic Functor attempt 1: IcelandJack's categorical functor proposal #162

Generic Functor attempt 1: IcelandJack's categorical functor proposal

Generic Functor attempt 1: IcelandJack's categorical functor proposal #162

Triggered via pull request January 24, 2024 18:15
Status Failure
Total duration 1m 40s
Artifacts

cabal.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 10 warnings
build (3.6, 8.10.7): src/Data/Functor/Categorical.hs#L92
• Could not deduce (Category (Nat (->) (->)))
build (3.6, 8.10.7): src/Data/Functor/Categorical.hs#L97
• Found hole: _ :: Op a b -> Nat (->) (->) (f a) (f b)
build (3.6, 8.10.7)
Process completed with exit code 1.
build (3.6, 9.6.2)
The operation was canceled.
build (3.6, 9.0.2)
The operation was canceled.
build (3.6, 9.2.4): src/Data/Functor/Categorical.hs#L92
• Could not deduce (Category (Nat (->) (->)))
build (3.6, 9.2.4): src/Data/Functor/Categorical.hs#L97
• Found hole: _ :: Op a b -> Nat (->) (->) (f a) (f b)
build (3.6, 9.2.4)
The operation was canceled.
build (3.6, 9.4.5)
The operation was canceled.
build (3.6, 8.10.7)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, haskell/actions/setup@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.6, 8.10.7)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (3.6, 9.6.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, haskell/actions/setup@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.6, 9.6.2)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (3.6, 9.0.2)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, haskell/actions/setup@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.6, 9.0.2)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (3.6, 9.2.4)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, haskell/actions/setup@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.6, 9.2.4)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
build (3.6, 9.4.5)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, haskell/actions/setup@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (3.6, 9.4.5)
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).