fix build attempt

This commit is contained in:
Steffen Jost 2023-01-19 10:01:31 +01:00
parent 76e65044f7
commit da6ceeef0b

View File

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