update stack information

develop
Rin 2023-11-06 15:35:52 +11:00
parent 1a6528b03d
commit 856a451d52
3 changed files with 9 additions and 4 deletions

View File

@ -20,12 +20,14 @@ description: Please see the README at <https://gitea.treehouse.systems/R
dependencies: dependencies:
- base >= 4.7 && < 5 - base >= 4.7 && < 5
- ghc >= 9.4.7
ghc-options: ghc-options:
- -Wall - -Wall
- -Wcompat - -Wcompat
- -Widentities - -Widentities
- -Wincomplete-record-updates - -Wincomplete-record-updates
- -Wincomplete-record-selectors # Coming Soon TM
- -Wincomplete-uni-patterns - -Wincomplete-uni-patterns
- -Wmissing-export-lists - -Wmissing-export-lists
- -Wmissing-home-modules - -Wmissing-home-modules

View File

@ -39,9 +39,10 @@ library
GADTs GADTs
DuplicateRecordFields DuplicateRecordFields
RecordWildCards 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: build-depends:
base >=4.7 && <5 base >=4.7 && <5
, ghc >=9.4.7
default-language: GHC2021 default-language: GHC2021
executable pulsar-exe executable pulsar-exe
@ -62,9 +63,10 @@ executable pulsar-exe
GADTs GADTs
DuplicateRecordFields DuplicateRecordFields
RecordWildCards 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: build-depends:
base >=4.7 && <5 base >=4.7 && <5
, ghc >=9.4.7
, pulsar , pulsar
default-language: GHC2021 default-language: GHC2021
@ -87,8 +89,9 @@ test-suite pulsar-test
GADTs GADTs
DuplicateRecordFields DuplicateRecordFields
RecordWildCards 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: build-depends:
base >=4.7 && <5 base >=4.7 && <5
, ghc >=9.4.7
, pulsar , pulsar
default-language: GHC2021 default-language: GHC2021

View File

@ -64,4 +64,4 @@ extra-deps: []
# extra-lib-dirs: [/path/to/dir] # extra-lib-dirs: [/path/to/dir]
# #
# Allow a newer minor version of GHC than the snapshot specifies # Allow a newer minor version of GHC than the snapshot specifies
# compiler-check: newer-minor compiler-check: newer-minor