From 856a451d5268f7d906857e8a03863f11ff1874bd Mon Sep 17 00:00:00 2001 From: Rin Date: Mon, 6 Nov 2023 15:35:52 +1100 Subject: [PATCH] update stack information --- package.yaml | 2 ++ pulsar.cabal | 9 ++++++--- stack.yaml | 2 +- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/package.yaml b/package.yaml index 4d454de..b547c16 100644 --- a/package.yaml +++ b/package.yaml @@ -20,12 +20,14 @@ description: Please see the README at = 4.7 && < 5 +- ghc >= 9.4.7 ghc-options: - -Wall - -Wcompat - -Widentities - -Wincomplete-record-updates +- -Wincomplete-record-selectors # Coming Soon TM - -Wincomplete-uni-patterns - -Wmissing-export-lists - -Wmissing-home-modules diff --git a/pulsar.cabal b/pulsar.cabal index 00a34c6..0b5e190 100644 --- a/pulsar.cabal +++ b/pulsar.cabal @@ -39,9 +39,10 @@ library GADTs DuplicateRecordFields RecordWildCards - ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-record-selectors -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-depends: base >=4.7 && <5 + , ghc >=9.4.7 default-language: GHC2021 executable pulsar-exe @@ -62,9 +63,10 @@ executable pulsar-exe GADTs DuplicateRecordFields RecordWildCards - ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-record-selectors -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-depends: base >=4.7 && <5 + , ghc >=9.4.7 , pulsar default-language: GHC2021 @@ -87,8 +89,9 @@ test-suite pulsar-test GADTs DuplicateRecordFields RecordWildCards - ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-record-selectors -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-depends: base >=4.7 && <5 + , ghc >=9.4.7 , pulsar default-language: GHC2021 diff --git a/stack.yaml b/stack.yaml index 86ba609..3b2ba85 100644 --- a/stack.yaml +++ b/stack.yaml @@ -64,4 +64,4 @@ extra-deps: [] # extra-lib-dirs: [/path/to/dir] # # Allow a newer minor version of GHC than the snapshot specifies -# compiler-check: newer-minor +compiler-check: newer-minor