diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-09T09·17+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-09T09·18+0100 |
| commit | 119c8e9df975d16154c85363c9e93a40fe38231e (patch) | |
| tree | 74c590e6a02fc326d132df9dafd7962a26cf5ff2 /website | |
| parent | e8f35f0d10a1696ffa80e31434882287bea30fe3 (diff) | |
Add common language extensions to .ghci
I'd like to see if I can avoid using `cabal` and `stack` and build and deploy this application using `nix-shell` and `nix-build` only. Let's see how that goes.
Diffstat (limited to 'website')
6 files changed, 5 insertions, 9 deletions
diff --git a/website/sandbox/learnpianochords/src/server/.ghci b/website/sandbox/learnpianochords/src/server/.ghci index efc88e630ccb..151d070ca1a4 100644 --- a/website/sandbox/learnpianochords/src/server/.ghci +++ b/website/sandbox/learnpianochords/src/server/.ghci @@ -1,2 +1,7 @@ :set prompt "> " :set -Wall + +:set -XOverloadedStrings +:set -XNoImplicitPrelude +:set -XRecordWildCards +:set -XTypeApplications diff --git a/website/sandbox/learnpianochords/src/server/Fixtures.hs b/website/sandbox/learnpianochords/src/server/Fixtures.hs index 169e29632bd3..974df97ce7fa 100644 --- a/website/sandbox/learnpianochords/src/server/Fixtures.hs +++ b/website/sandbox/learnpianochords/src/server/Fixtures.hs @@ -1,5 +1,3 @@ -{-# LANGUAGE OverloadedStrings #-} -{-# LANGUAGE RecordWildCards #-} -------------------------------------------------------------------------------- module Fixtures where -------------------------------------------------------------------------------- diff --git a/website/sandbox/learnpianochords/src/server/GoogleSignIn.hs b/website/sandbox/learnpianochords/src/server/GoogleSignIn.hs index ab315a1876a4..0f48a9a1d36b 100644 --- a/website/sandbox/learnpianochords/src/server/GoogleSignIn.hs +++ b/website/sandbox/learnpianochords/src/server/GoogleSignIn.hs @@ -1,4 +1,3 @@ -{-# LANGUAGE OverloadedStrings #-} -------------------------------------------------------------------------------- module GoogleSignIn where -------------------------------------------------------------------------------- diff --git a/website/sandbox/learnpianochords/src/server/Main.hs b/website/sandbox/learnpianochords/src/server/Main.hs index 67f9fd3aca59..ae3562d48486 100644 --- a/website/sandbox/learnpianochords/src/server/Main.hs +++ b/website/sandbox/learnpianochords/src/server/Main.hs @@ -1,6 +1,3 @@ -{-# LANGUAGE OverloadedStrings #-} -{-# LANGUAGE TypeApplications #-} -{-# LANGUAGE RecordWildCards #-} -------------------------------------------------------------------------------- module Main where -------------------------------------------------------------------------------- diff --git a/website/sandbox/learnpianochords/src/server/Spec.hs b/website/sandbox/learnpianochords/src/server/Spec.hs index d9d2e5d1a6c7..6246dc9ef2ca 100644 --- a/website/sandbox/learnpianochords/src/server/Spec.hs +++ b/website/sandbox/learnpianochords/src/server/Spec.hs @@ -1,4 +1,3 @@ -{-# LANGUAGE OverloadedStrings #-} -------------------------------------------------------------------------------- module Spec where -------------------------------------------------------------------------------- diff --git a/website/sandbox/learnpianochords/src/server/Types.hs b/website/sandbox/learnpianochords/src/server/Types.hs index 61e448e1ab66..5b8ca036dd0b 100644 --- a/website/sandbox/learnpianochords/src/server/Types.hs +++ b/website/sandbox/learnpianochords/src/server/Types.hs @@ -1,5 +1,3 @@ -{-# LANGUAGE RecordWildCards #-} -{-# LANGUAGE OverloadedStrings #-} -------------------------------------------------------------------------------- module Types where -------------------------------------------------------------------------------- |