git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3526 from jfdm/stack-update
62f8aaeJan de Muijnck-Hughes
stack-shell.nix+1−1
compare with master
unifiedsplit
@@ -2,7 +2,7 @@ with (import <nixpkgs> {});
2
2
3let
3let
4 # MUST match resolver in stack.yaml
4 # MUST match resolver in stack.yaml
5− resolver = haskell.packages.lts-7_0.ghc;
5+ resolver = haskell.packages.lts-7_10.ghc;
6
6
7 native_libs = [
7 native_libs = [
8 libffi
8 libffi
stack.yaml+2−2
@@ -1,4 +1,4 @@
1−resolver: lts-7.0
1+resolver: lts-7.10
2
2
3packages:
3packages:
4 - location: .
4 - location: .
@@ -10,7 +10,7 @@ flags:
10
10
11extra-deps:
11extra-deps:
12 - libffi-0.1
12 - libffi-0.1
13−
13+ - safe-0.3.9
14nix:
14nix:
15 enable: false
15 enable: false
16 shell-file: stack-shell.nix
16 shell-file: stack-shell.nix