Do not verify lengths in propWithModel
#321
martijnbastiaanAnnotations
41 warnings
|
fourmolu
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, haskell-actions/run-fourmolu@v9. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Stack tests:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/WriteAddress.hs#L188
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/ReadAddress.hs#L191
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/WriteResponse.hs#L93
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/WriteData.hs#L108
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/ReadData.hs#L114
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Stack tests:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/WriteAddress.hs#L188
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/ReadAddress.hs#L191
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/WriteResponse.hs#L93
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/WriteData.hs#L108
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/ReadData.hs#L114
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.2.8 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/WriteAddress.hs#L188
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/ReadAddress.hs#L191
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/WriteResponse.hs#L93
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/WriteData.hs#L108
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/ReadData.hs#L114
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.6.4 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/WriteAddress.hs#L188
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/ReadAddress.hs#L191
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/WriteResponse.hs#L93
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/WriteData.hs#L108
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/ReadData.hs#L114
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
|
Cabal tests - ghc 9.4.8 / clash 1.8.1:
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|