issue-59 upgrade to Idris 1.1.1 (#60)

Author: mmhelloworld

.travis.yml

@@ -13,13 +13,13 @@ jdk:
   - oraclejdk8
 
 before_install:
-  - docker pull mmhelloworld/idris:1.0
+  - docker pull mmhelloworld/idris:1.1.1
   - mkdir -p $HOME/bin/idris-packages $HOME/bin/idris-jvm
   - wget https://github.com/mmhelloworld/idris-jvm/releases/download/1.0-SNAPSHOT-20170704/idris-jvm-1.0-SNAPSHOT-20170704.zip
   - unzip -o idris-jvm-*.zip -d $HOME/bin
   - export PATH=`pwd`/bin/travis:$HOME/bin/idris-jvm/codegen/bin:$HOME/.local/bin:$PATH
   - export PROJECT_ROOT=`pwd`
-  - docker run --name idris mmhelloworld/idris:1.0 idris -v && docker cp idris:/root/.stack/snapshots/x86_64-linux/lts-8.18/8.0.2/share/x86_64-linux-ghc-8.0.2/idris-1.0/libs/. $HOME/bin/idris-packages && docker rm idris
+  - docker run --name idris mmhelloworld/idris:1.1.1 idris -v && docker cp idris:/.stack-work/install/x86_64-linux/lts-9.1/8.0.2/share/x86_64-linux-ghc-8.0.2/idris-1.1.1/libs/. $HOME/bin/idris-packages && docker rm idris
 
 script:
   - mvn -pl :idris-jvm-integration-test test -B

bin/travis/idris

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-travis_long docker run -v $HOME/bin/idris-packages:/root/.stack/snapshots/x86_64-linux/lts-8.18/8.0.2/share/x86_64-linux-ghc-8.0.2/idris-1.0/libs -v $PROJECT_ROOT:$PROJECT_ROOT -v $JAVA_HOME:/bin/jdk -v $HOME/bin/idris-jvm:/bin/idris-jvm -w `pwd` mmhelloworld/idris:1.0 idris "$@"
+travis_long docker run -v $HOME/bin/idris-packages:/.stack-work/install/x86_64-linux/lts-9.1/8.0.2/share/x86_64-linux-ghc-8.0.2/idris-1.1.1/libs -v $PROJECT_ROOT:$PROJECT_ROOT -v $JAVA_HOME:/bin/jdk -v $HOME/bin/idris-jvm:/bin/idris-jvm -w `pwd` mmhelloworld/idris:1.1.1 idris "$@"
 

idris-jvm-core/src/main/idris/IdrisJvm/Core/Operator.idr

@@ -271,6 +271,12 @@ cgOp2 (LSExt (ITFixed from) ITBig) [x] = signExtendToBigInteger x
 
 cgOp2 (LSExt _ _) [x] = Aload $ locIndex x
 
+cgOp2 (LTrunc ITNative (ITFixed IT64)) [x] = do
+  Aload $ locIndex x
+  Checkcast "java/lang/Integer"
+  InvokeMethod InvokeVirtual "java/lang/Integer" "longValue" "()J" False
+  boxLong
+
 cgOp2 (LTrunc (ITFixed IT64) (ITFixed IT32)) [x] = do
   Aload $ locIndex x
   Checkcast "java/lang/Long"

idris-jvm-ffi/src/main/idris/IdrisJvm/Effects.idr

@@ -5,6 +5,7 @@ import Effect.System
 import Effect.StdIO
 import IdrisJvm.IO
 import IdrisJvm.System
+import Java.Util.Concurrent
 
 %access export
 
@@ -19,3 +20,6 @@ implementation Handler System JVM_IO where
     handle () Time k = do x <- time; k x ()
     handle () (GetEnv s) k = do x <- getEnv s; k x ()
     handle () (CSystem s) k = do x <- system s; k x ()
+    handle () (Usleep timeout _) k = do
+      sleep microseconds $ prim__truncInt_B64 timeout
+      k () ()

idris-jvm-ffi/src/main/idris/Java/Util/Concurrent.idr

@@ -0,0 +1,18 @@
+module Java.Util.Concurrent
+
+import IdrisJvm.FFI
+
+%access public export
+
+namespace TimeUnit
+  TimeUnitClass : JVM_NativeTy
+  TimeUnitClass = Class "java/util/concurrent/TimeUnit"
+
+  TimeUnit : Type
+  TimeUnit = JVM_Native TimeUnitClass
+
+  microseconds : TimeUnit
+  microseconds = unsafePerformIO $ getStaticField TimeUnitClass "MICROSECONDS" (JVM_IO TimeUnit)
+
+  sleep : TimeUnit -> Bits64 -> JVM_IO ()
+  sleep timeunit timeout = invokeInstance "sleep" (TimeUnit -> Bits64 -> JVM_IO ()) timeunit timeout

idris-jvm-ffi/src/main/idris/idris-jvm-ffi.ipkg

@@ -5,6 +5,7 @@ pkgs = effects
 modules = IdrisJvm.FFI
         , IdrisJvm.IO
         , IdrisJvm.System
+        , Java.Util.Concurrent
         , IdrisJvm.Effects
         , Java.Lang
         , Java.Util