fix build attempt

This commit is contained in:
Steffen Jost 2023-01-19 09:53:04 +01:00
parent f23354148c
commit 25bc46a2af

View File

@ -242,7 +242,7 @@ default-extensions:
- TypeFamilyDependencies - TypeFamilyDependencies
- QuantifiedConstraints - QuantifiedConstraints
- EmptyDataDeriving - EmptyDataDeriving
- StandaloneKindSignatures - StandaloneKindSignaturesf
- NoStarIsType - NoStarIsType
ghc-options: ghc-options:
- -Wall - -Wall
@ -254,8 +254,9 @@ ghc-options:
- -fno-warn-unrecognised-pragmas - -fno-warn-unrecognised-pragmas
- -fno-warn-partial-type-signatures - -fno-warn-partial-type-signatures
- -fno-max-relevant-binds - -fno-max-relevant-binds
- -j - -j1
- -freduction-depth=0 - -freduction-depth=400
- -split-sections
when: when:
- condition: flag(pedantic) - condition: flag(pedantic)
ghc-options: ghc-options: