#104 Upgrade to Idris 1.3.2

Author: mmhelloworld

.travis.yml

@@ -10,13 +10,13 @@ jdk:
 env:
 - IDRIS_JVM_HOME=${HOME}/bin/idris-jvm
 before_install:
-- docker pull mmhelloworld/idris:1.3.1
+- docker pull mmhelloworld/idris:1.3.2
 - mkdir -p $HOME/bin/idris-packages $IDRIS_JVM_HOME
 - wget https://github.com/mmhelloworld/idris-jvm/releases/download/v1.0-SNAPSHOT-20190525/idris-jvm.zip
 - unzip -o idris-jvm.zip -d $HOME/bin
 - export PATH=`pwd`/bin/travis:$IDRIS_JVM_HOME/codegen/bin:$HOME/.local/bin:$PATH
 - export PROJECT_ROOT=`pwd`
-- docker run --name idris mmhelloworld/idris:1.3.1 idris -v && docker cp idris:/.stack-work/install/x86_64-linux/lts-11.22/8.2.2/share/x86_64-linux-ghc-8.2.2/idris-1.3.1/libs/.
+- docker run --name idris mmhelloworld/idris:1.3.2 idris -v && docker cp idris:/.stack-work/install/x86_64-linux/lts-13.21/8.6.5/share/x86_64-linux-ghc-8.6.5/idris-1.3.2/libs/.
   $HOME/bin/idris-packages && docker rm idris
 script:
 - lsof -ti ":$(cat $IDRIS_JVM_HOME/.idrisjvmport)" | xargs --no-run-if-empty kill

bin/travis/idris

@@ -4,11 +4,11 @@ export IDRIS_JVM_HOME=${HOME}/bin/idris-jvm
 
 travis_long docker run \
     -e IDRIS_JVM_HOME=/bin/idris-jvm \
-    -v $HOME/bin/idris-packages:/.stack-work/install/x86_64-linux/lts-11.22/8.2.2/share/x86_64-linux-ghc-8.2.2/idris-1.3.1/libs \
+    -v $HOME/bin/idris-packages:/.stack-work/install/x86_64-linux/lts-13.21/8.6.5/share/x86_64-linux-ghc-8.6.5/idris-1.3.2/libs \
     -v $PROJECT_ROOT:$PROJECT_ROOT \
     -v $JAVA_HOME:/bin/jdk \
     -v $IDRIS_JVM_HOME:/bin/idris-jvm \
     -w `pwd` \
-    mmhelloworld/idris:1.3.1 idris \
+    mmhelloworld/idris:1.3.2 idris \
     "$@"