Fix cabal setup issues (#29)

* Create haskell.yml Signed-off-by: Matteo Bongiovanni <[email protected]> * Specify checks as report checks Signed-off-by: Matteo Bongiovanni <[email protected]> * Fix project name * Fix declaration of CMonoid module * Make base version more lenient * Revert "Make base version more lenient" This reverts commit 7d26f34. * Add more available base versions * Remove Haskell pipeline * Rename paper mentioned Signed-off-by: Matteo Bongiovanni <[email protected]> --------- Signed-off-by: Matteo Bongiovanni <[email protected]>
MatBon01 · Apr 5, 2023 · 177617b · 177617b
1 parent 30560fb
commit 177617b
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/.github/workflows/check.yml → .github/workflows/report.yml b/.github/workflows/check.yml → .github/workflows/report.yml
@@ -1,4 +1,4 @@
-name: checks
+name: Report Checks
 on: push
 
 jobs:
@@ -94,4 +94,4 @@ jobs:
           description: "${{ steps.linting.outputs.numLintingWarnings }} linting errors were found"
           state: "success"
         if: steps.linting.outputs.numLintingWarnings > 0
-
+
diff --git a/...ional-algebra-by-way-of-adjunctions.cabal → ...ional-algebra-by-way-of-adjunctions.cabal b/...ional-algebra-by-way-of-adjunctions.cabal → ...ional-algebra-by-way-of-adjunctions.cabal
@@ -1,8 +1,8 @@
 cabal-version:      2.4
-name:               a-deeper-dive-to-relational-algebra-by-way-of-adjunctions
+name:               a-deeper-dive-into-relational-algebra-by-way-of-adjunctions
 version:            0.1.0.0
 synopsis:
-    Benchmarking and expanding on the paper "A Deeper Dive to Relational Algebra by way of Adjunctions"
+    Benchmarking and expanding on the paper "Relational Algebra by way of Adjunctions"
 
 -- A longer description of the package.
 -- description:
@@ -25,11 +25,11 @@ library
     exposed-modules: Data.Bag
 
     -- Modules included in this library but not exported.
-    -- other-modules:
+    other-modules: Data.CMonoid
 
     -- LANGUAGE extensions used by modules in this package.
     -- other-extensions:
-    build-depends:    base ^>=4.16.4.0
+    build-depends:    base >=4.16.4.0
     hs-source-dirs:   src
     default-language: Haskell2010
 
@@ -42,8 +42,8 @@ executable bags-test
     -- LANGUAGE extensions used by modules in this package.
     -- other-extensions:
     build-depends:
-        base ^>=4.16.4.0,
-        a-deeper-dive-to-relational-algebra-by-way-of-adjunctions,
+        base >=4.16.4.0,
+        a-deeper-dive-into-relational-algebra-by-way-of-adjunctions,
         multiset ^>=0.3.4
 
     hs-source-dirs:   app
@@ -55,5 +55,5 @@ test-suite spec
     hs-source-dirs:     test
     main-is:            Spec.hs
     other-modules:      Data.BagSpec
-    build-depends:      base ^>=4.16.4.0, hspec ^>=2.10, a-deeper-dive-to-relational-algebra-by-way-of-adjunctions
-    build-tool-depends: hspec-discover:hspec-discover == 2.*
+    build-depends:      base >=4.16.4.0, hspec ^>=2.10, a-deeper-dive-into-relational-algebra-by-way-of-adjunctions
+    build-tool-depends: hspec-discover:hspec-discover == 2.*