release 0.8.0

CHANGELOG.md

@@ -1,3 +1,6 @@
+## 0.8.0 (2024-10-12)
+* tweak `Simplify` exports (should stay fairly stable now)
+
 ## 0.7.0 (2024-10-11)
 * add predicate simplifier at `Rerefined.Simplify`
   * old "normalizer" stuff removed

package.yaml

@@ -1,5 +1,5 @@
 name: rerefined
-version: 0.7.0
+version: 0.8.0
 synopsis: Refinement types, again
 description: Please see README.md.
 extra-source-files:
@@ -51,12 +51,9 @@ default-extensions:
 #   may need to enable if you're working with old code that uses `Int :: *`
 
 ghc-options:
+- -fhide-source-paths # hides module filepaths when compiling (bit neater)
 - -Wall
 
-# omitting ticks is good; see https://gitlab.haskell.org/ghc/ghc/-/issues/20531
-# (off by default since GHC 9.4)
-- -Wno-unticked-promoted-constructors
-
 dependencies:
 - base >= 4.18 && < 5
 - type-level-show >= 0.2.1 && < 0.4

rerefined.cabal

@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           rerefined
-version:        0.7.0
+version:        0.8.0
 synopsis:       Refinement types, again
 description:    Please see README.md.
 category:       Types, Data
@@ -71,7 +71,7 @@ library
       TypeFamilies
       DataKinds
       MagicHash
-  ghc-options: -Wall -Wno-unticked-promoted-constructors
+  ghc-options: -fhide-source-paths -Wall
   build-depends:
       QuickCheck >=2.14 && <2.16
     , base >=4.18 && <5
@@ -100,7 +100,7 @@ test-suite spec
       TypeFamilies
       DataKinds
       MagicHash
-  ghc-options: -Wall -Wno-unticked-promoted-constructors
+  ghc-options: -fhide-source-paths -Wall
   build-depends:
       QuickCheck >=2.14 && <2.16
     , base >=4.18 && <5