anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-11-27 12:42:36 +03:00
Code Issues Projects Releases Wiki Activity

minimize language extensions

Browse Source
This commit is contained in:
Jan Mas Rovira 2021-12-24 08:31:48 +01:00
parent 81c88597ed
commit be416e5a0b
1 changed files with 0 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
package.yaml
View File

@ -41,39 +41,13 @@ ghc-options:
- -Wmissing-deriving-strategies
default-extensions:
- ApplicativeDo
- BlockArguments
- DataKinds
- DeriveDataTypeable
- DeriveLift
- DerivingStrategies
- ExistentialQuantification
- FlexibleContexts
- FlexibleInstances
- GADTs
- InstanceSigs
- KindSignatures
- LambdaCase
- MultiParamTypeClasses
- NamedFieldPuns
- NoImplicitPrelude
- OverloadedStrings
- PolyKinds
- QuasiQuotes
- RankNTypes
- RecordWildCards
- Safe
- ScopedTypeVariables
- StandaloneDeriving
- StandaloneKindSignatures
- TupleSections
- TypeApplications
- TypeFamilies
- TypeOperators
- TypeSynonymInstances
- UndecidableInstances
- UnicodeSyntax
- ViewPatterns
library:
source-dirs: src