fix declared language extensions

This commit is contained in:
Michele Guerini Rocco 2019-11-07 10:12:28 +01:00
parent da107970fb
commit 2f926c6a71
Signed by: rnhmjoj
GPG Key ID: BFBAF4C975F76450
4 changed files with 19 additions and 22 deletions

View File

@ -29,7 +29,9 @@ executable breve
other-modules: Application, Views, Breve.Settings, other-modules: Application, Views, Breve.Settings,
Breve.Generator, Breve.UrlTable, Breve.Generator, Breve.UrlTable,
Paths_breve Paths_breve
other-extensions: OverloadedStrings default-extensions: OverloadedStrings
other-extensions: RecordWildCards, DeriveGeneric,
DataKinds, KindSignatures, TypeOperators
build-depends: base >=4.8 && <5.0, build-depends: base >=4.8 && <5.0,
warp, warp-tls, tls, blaze-html, blaze-markup, warp, warp-tls, tls, blaze-html, blaze-markup,
servant-server, servant, servant-blaze, servant-server, servant, servant-blaze,

View File

@ -1,5 +1,3 @@
{-# LANGUAGE OverloadedStrings #-}
{-| {-|
This module defines the Breve configuration This module defines the Breve configuration
parser and application settings. parser and application settings.

View File

@ -1,4 +1,3 @@
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-} {-# LANGUAGE RecordWildCards #-}
{-| {-|

View File

@ -1,5 +1,3 @@
{-# LANGUAGE OverloadedStrings #-}
{-| {-|
This module contains the HTML pages used by the This module contains the HTML pages used by the
web application. These are all obtained by filling web application. These are all obtained by filling