mirror of
https://github.com/CrystalSplitter/ghcitui.git
synced 2024-09-11 10:55:29 +03:00
Add NamedFieldPuns to default extensions
This commit is contained in:
parent
c6bebb787f
commit
fd71610534
@ -70,6 +70,7 @@ executable ghcitui
|
|||||||
RecordWildCards
|
RecordWildCards
|
||||||
TupleSections
|
TupleSections
|
||||||
MonoLocalBinds
|
MonoLocalBinds
|
||||||
|
NamedFieldPuns
|
||||||
|
|
||||||
library ghcitui-lib
|
library ghcitui-lib
|
||||||
hs-source-dirs: lib
|
hs-source-dirs: lib
|
||||||
@ -103,6 +104,8 @@ library ghcitui-lib
|
|||||||
RecordWildCards
|
RecordWildCards
|
||||||
TupleSections
|
TupleSections
|
||||||
MonoLocalBinds
|
MonoLocalBinds
|
||||||
|
NamedFieldPuns
|
||||||
|
|
||||||
|
|
||||||
test-suite spec
|
test-suite spec
|
||||||
hs-source-dirs: test
|
hs-source-dirs: test
|
||||||
|
Loading…
Reference in New Issue
Block a user