git.iko.soy/Idris-dev
on master help sign in
Idris builds against LTS Haskell 8.04.
ffc5cfaJan de Muijnck-Hughes
idris.cabal+1−1
compare with master
unifiedsplit
@@ -270,7 +270,7 @@ Library
270 , filepath < 1.5
270 , filepath < 1.5
271 , fingertree >= 0.1 && < 0.2
271 , fingertree >= 0.1 && < 0.2
272 , haskeline >= 0.7 && < 0.8
272 , haskeline >= 0.7 && < 0.8
273− , ieee754 >= 0.7 && < 0.8
273+ , ieee754 >= 0.7 && <= 0.8.0
274 , mtl >= 2.1 && < 2.3
274 , mtl >= 2.1 && < 2.3
275 , network < 2.7
275 , network < 2.7
276 , optparse-applicative >= 0.11 && < 0.14
276 , optparse-applicative >= 0.11 && < 0.14
stack-shell.nix+1−1
@@ -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_19.ghc;
5+ resolver = haskell.packages.lts-8_4.ghc;
6
6
7 native_libs = [
7 native_libs = [
8 libffi
8 libffi
stack.yaml+1−1
@@ -1,4 +1,4 @@
1−resolver: lts-7.19
1+resolver: lts-8.04
2
2
3packages:
3packages:
4 - location: .
4 - location: .