mirror of
https://github.com/github/semantic.git
synced 2024-11-28 10:15:55 +03:00
Revert "Remove OverloadedStrings from the default extensions."
This reverts commit 6904929f082dd8b2c048884a9f62415ee37c3be5.
This commit is contained in:
parent
dc9113aa6d
commit
5a10bbb374
@ -43,6 +43,7 @@ library
|
|||||||
, c-storable-deriving
|
, c-storable-deriving
|
||||||
, vector
|
, vector
|
||||||
default-language: Haskell2010
|
default-language: Haskell2010
|
||||||
|
default-extensions: OverloadedStrings
|
||||||
ghc-options: -Wall -fno-warn-name-shadowing -O2 -threaded -fprof-auto "-with-rtsopts=-N -p -s -h -i0.1"
|
ghc-options: -Wall -fno-warn-name-shadowing -O2 -threaded -fprof-auto "-with-rtsopts=-N -p -s -h -i0.1"
|
||||||
|
|
||||||
executable semantic-diff-exe
|
executable semantic-diff-exe
|
||||||
@ -61,6 +62,7 @@ executable semantic-diff-exe
|
|||||||
, directory
|
, directory
|
||||||
, text-icu
|
, text-icu
|
||||||
default-language: Haskell2010
|
default-language: Haskell2010
|
||||||
|
default-extensions: OverloadedStrings
|
||||||
|
|
||||||
executable semantic-diff-profile
|
executable semantic-diff-profile
|
||||||
hs-source-dirs: app
|
hs-source-dirs: app
|
||||||
@ -80,6 +82,7 @@ executable semantic-diff-profile
|
|||||||
, text >= 1.2.1.3
|
, text >= 1.2.1.3
|
||||||
, directory
|
, directory
|
||||||
, text-icu
|
, text-icu
|
||||||
|
default-extensions: OverloadedStrings
|
||||||
default-language: Haskell2010
|
default-language: Haskell2010
|
||||||
|
|
||||||
test-suite semantic-diff-test
|
test-suite semantic-diff-test
|
||||||
@ -97,6 +100,7 @@ test-suite semantic-diff-test
|
|||||||
, quickcheck-text
|
, quickcheck-text
|
||||||
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
||||||
default-language: Haskell2010
|
default-language: Haskell2010
|
||||||
|
default-extensions: OverloadedStrings
|
||||||
|
|
||||||
source-repository head
|
source-repository head
|
||||||
type: git
|
type: git
|
||||||
|
Loading…
Reference in New Issue
Block a user