Loosen version constraints, prep for CI & Hackage upload

Author: emeinhardt

.gitignore

@@ -0,0 +1,16 @@
+/docs/*
+result
+result-*
+/result/*
+dist-newstyle/*
+*/dist-newstyle/*
+*.hoo
+*.warn
+.direnv/*
+*.o
+*.hi
+*.dyn_o
+*.dyn_hi
+cabal.project.local
+cabal.project.local~
+

flake.nix

@@ -12,6 +12,7 @@
         pkgs = nixpkgs.legacyPackages.${system};
 
         # Change 945 appropriately to select a different GHC version
+        # Check `nix-env -f "<nixpkgs>" -qaP -A haskell.compiler` to see available versions.
         haskellPackages = pkgs.haskell.packages.ghc945;
 
         jailbreakUnbreak = pkg:
@@ -21,7 +22,6 @@
       in {
         packages.${packageName} =
           haskellPackages.callCabal2nix packageName self rec {
-            # Dependency overrides go here
           };
 
         packages.default = self.packages.${system}.${packageName};
@@ -30,11 +30,13 @@
         devShells.default = pkgs.mkShell {
           buildInputs = with pkgs; [
 
+            cabal-install
+
             haskellPackages.haskell-language-server
+
             haskellPackages.hlint
             haskellPackages.stylish-haskell
             haskellPackages.hindent
-            cabal-install
 
             # Optional: Only needed to make use of ./justfile
             just

hegg-patterns.cabal

@@ -1,20 +1,27 @@
-cabal-version:      3.0
-name:               hegg-patterns
-version:            0.1.0.0
+cabal-version:        3.0
+name:                 hegg-patterns
+version:              0.1.0.0
 synopsis:
   E-graph rewrite rules for common algebraic identities, for use with hegg.
 
 description:
   E-graph [@Rewrite@ rules](https://hackage.haskell.org/package/hegg-0.4.0.0/docs/Data-Equality-Saturation-Rewrites.html#t:Rewrite)
   associated with common algebraic identities, for use with [hegg](https://hackage.haskell.org/package/hegg).
-license:            MIT
-license-file:       LICENSE
-author:             Eric Meinhardt
-maintainer:         ericmeinhardt@gmail.com
-copyright:          2023
-category:           Data
-build-type:         Simple
-extra-doc-files:    CHANGELOG.md
+
+license:              MIT
+license-file:         LICENSE
+author:               Eric Meinhardt
+maintainer:           ericmeinhardt@gmail.com
+copyright:            2023
+homepage:             https://github.com/emeinhardt/hegg-patterns
+bug-reports:          https://github.com/emeinhardt/hegg-patterns/issues
+category:             Data
+build-type:           Simple
+extra-doc-files:      CHANGELOG.md
+
+source-repository head
+  type:     git
+  location: https://github.com/emeinhardt/hegg-patterns/hegg-patterns.git
 
 common warnings
   ghc-options:
@@ -25,7 +32,8 @@ library
   default-language:   GHC2021
   default-extensions: UnicodeSyntax
   hs-source-dirs:     src
-  exposed-modules:    Data.Equality.Matching.Pattern.Extras
+  exposed-modules:
+    Data.Equality.Matching.Pattern.Extras
   build-depends:
-        base ^>=4.17.1.0
-      , hegg                        ==0.4.*
+        base    >= 4.16 && <5.0
+      , hegg    == 0.4.*

hegg-patterns.nix

@@ -4,6 +4,7 @@ mkDerivation {
   version = "0.1.0.0";
   src = ./.;
   libraryHaskellDepends = [ base hegg ];
-  description = "Rewrite rules for common algebraic identities, for use with [hegg](https://hackage.haskell.org/package/hegg).";
+  homepage = "https://github.com/emeinhardt/hegg-patterns";
+  description = "E-graph rewrite rules for common algebraic identities, for use with hegg";
   license = lib.licenses.mit;
 }