on master help sign in
Merge pull request #4146 from asandroq/fix-stack-nightly
539186cNiklas Larsson
idris.cabal+1−1
@@ -282,7 +282,7 @@ Library
282 , deepseq < 1.5
282 , deepseq < 1.5
283 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
283 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
284 , filepath < 1.5
284 , filepath < 1.5
285− , fingertree >= 0.1 && < 0.1.2
285+ , fingertree >= 0.1 && < 0.2
286 , haskeline >= 0.7 && < 0.8
286 , haskeline >= 0.7 && < 0.8
287 , ieee754 >= 0.7 && < 0.9
287 , ieee754 >= 0.7 && < 0.9
288 , mtl >= 2.1 && < 2.3
288 , mtl >= 2.1 && < 2.3
stack.yaml+1−5
@@ -1,5 +1,5 @@
1#recheck extra-deps next on resolver or cabal file change
1#recheck extra-deps next on resolver or cabal file change
2−resolver: lts-9.0
2+resolver: nightly-2017-10-23
3
3
4packages:
4packages:
5 - location: .
5 - location: .
@@ -12,10 +12,6 @@ flags:
12ghc-options:
12ghc-options:
13 idris: -fwarn-unused-imports -fwarn-unused-binds
13 idris: -fwarn-unused-imports -fwarn-unused-binds
14
14
15−extra-deps:
16− - binary-0.8.5.1
17− - cheapskate-0.1.1
18−
19nix:
15nix:
20 enable: false
16 enable: false
21 shell-file: stack-shell.nix
17 shell-file: stack-shell.nix