Readonly use DSum
instead of NamedAlgo
#246
Annotations
10 errors
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• Couldn't match expected type: dependent-sum-0.7.2.0:Data.Dependent.Sum.DSum
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• Couldn't match expected type: dependent-sum-0.7.2.0:Data.Dependent.Sum.DSum
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• Couldn't match expected type: dependent-sum-0.7.2.0:Data.Dependent.Sum.DSum
|
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Process completed with exit code 1.
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The job was canceled because "_3_12_9_8_2_ubuntu-latest" failed.
|
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The operation was canceled.
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
The job was canceled because "_3_12_9_8_2_ubuntu-latest" failed.
|
GHC 9.8.2, Cabal 3.12, OS macos-latest
The operation was canceled.
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The job was canceled because "_3_12_9_8_2_ubuntu-latest" failed.
|
GHC 9.6.6, Cabal 3.12, OS macos-latest
The operation was canceled.
|