git.iko.soy/Idris-dev
on master help sign in
Make Idris build with Stack nightly
commitc37edddb5a5ff15b976f6cf422d4934f7d92bffc authorAlex Queiroz <asandroq@gmail.com> dateMon 23 Oct 2017, 17:08 (9 years ago) parent13308b1
2 files changed+2−6
compare with master
unifiedsplit
idris.cabal+1−1 stack.yaml+1−5
idris.cabal+1−1
@@ -282,7 +282,7 @@ Library
282282 , deepseq < 1.5
283283 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
284284 , filepath < 1.5
285− , fingertree >= 0.1 && < 0.1.2
285+ , fingertree >= 0.1 && < 0.2
286286 , haskeline >= 0.7 && < 0.8
287287 , ieee754 >= 0.7 && < 0.9
288288 , mtl >= 2.1 && < 2.3
stack.yaml+1−5
@@ -1,5 +1,5 @@
11#recheck extra-deps next on resolver or cabal file change
2−resolver: lts-9.0
2+resolver: nightly-2017-10-23
33
44packages:
55 - location: .
@@ -12,10 +12,6 @@ flags:
1212ghc-options:
1313 idris: -fwarn-unused-imports -fwarn-unused-binds
1414
15−extra-deps:
16− - binary-0.8.5.1
17− - cheapskate-0.1.1
18−
1915nix:
2016 enable: false
2117 shell-file: stack-shell.nix