From 2f213c1bc30f0d007901c98fe6d133957dbca794 Mon Sep 17 00:00:00 2001 From: Alp Mestanogullari Date: Tue, 27 Mar 2018 18:30:25 +0200 Subject: [PATCH] [wip] dynamic headers --- cabal.project | 4 ++-- nix/shell.nix | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/cabal.project b/cabal.project index a1d01559..ee61fc46 100644 --- a/cabal.project +++ b/cabal.project @@ -4,8 +4,8 @@ packages: servant/ servant-docs/ servant-foreign/ servant-server/ - doc/tutorial/ - doc/cookbook/*/*.cabal + -- doc/tutorial/ + -- doc/cookbook/*/*.cabal allow-newer: servant-js:servant, diff --git a/nix/shell.nix b/nix/shell.nix index 4e43c606..9c0cef9e 100644 --- a/nix/shell.nix +++ b/nix/shell.nix @@ -1,5 +1,5 @@ { pkgs ? import {} -, compiler ? "ghc822" +, compiler ? "ghc821" , tutorial ? false }: