Merge pull request #3950 from jfdm/latest-stack
Bump Idris to compile using LTS Haskell 9.0.
commitc97e3e171369bbc2092126e9d1746ba332ec7f23
authorNiklas Larsson <metaniklas@gmail.com>
dateThu 27 Jul 2017, 16:11 (9 years ago)
parent385dcbf253c5c8
stack-shell.nix+1−1
@@ -2,7 +2,7 @@ with (import <nixpkgs> {});
22
33let
44 # MUST match resolver in stack.yaml
5− resolver = haskell.packages.lts-8_18.ghc;
5+ resolver = haskell.packages.lts-9_0.ghc;
66
77 native_libs = [
88 libffi
stack.yaml+1−1
@@ -1,4 +1,4 @@
1−resolver: lts-8.18
1+resolver: lts-9.0
22
33packages:
44 - location: .