Resolving dependencies... Configuring libffi-0.1... Configuring mtl-2.2.1... Building libffi-0.1... Building mtl-2.2.1... Installed libffi-0.1 Configuring primitive-0.6.1.0... Building primitive-0.6.1.0... Configuring old-locale-1.0.0.7... Installed mtl-2.2.1 Building old-locale-1.0.0.7... Configuring setenv-0.1.1.3... Installed old-locale-1.0.0.7 Building setenv-0.1.1.3... Configuring split-0.2.3.1... Installed primitive-0.6.1.0 Configuring text-1.2.2.1... Installed setenv-0.1.1.3 Building split-0.2.3.1... Building text-1.2.2.1... Installed split-0.2.3.1 Configuring old-time-1.1.0.3... Building old-time-1.1.0.3... Configuring vector-0.11.0.0... Installed old-time-1.1.0.3 Building vector-0.11.0.0... Installed text-1.2.2.1 Configuring polyparse-1.12... Building polyparse-1.12... Configuring parsec-3.1.11... Installed polyparse-1.12 Building parsec-3.1.11... Configuring cpphs-1.20.2... Installed parsec-3.1.11 Building cpphs-1.20.2... Installed vector-0.11.0.0 Configuring llvm-general-3.3.5.0... Configuring vector-binary-instances-0.2.3.3... Failed to install llvm-general-3.3.5.0 Build log ( /home/builder/.cabal/logs/llvm-general-3.3.5.0.log ): cabal: Entering directory '/tmp/cabal-tmp-24116/llvm-general-3.3.5.0' cabal: Leaving directory '/tmp/cabal-tmp-24116/llvm-general-3.3.5.0' Building vector-binary-instances-0.2.3.3... Installed vector-binary-instances-0.2.3.3 Installed cpphs-1.20.2 Configuring language-java-0.2.8... Building language-java-0.2.8... Installed language-java-0.2.8 cabal: Error: some packages failed to install: idris-0.9.9 depends on llvm-general-3.3.5.0 which failed to install. llvm-general-3.3.5.0 failed during the configure step. The exception was: user error ('/opt/ghc/8.0.2/bin/ghc' exited with an error: /tmp/cabal-tmp-24116/llvm-general-3.3.5.0/dist/setup/setup.hs:42:13: error: • Couldn't match expected type ‘ProgramSearchPath -> IO (Maybe (FilePath, [FilePath]))’ with actual type ‘IO (Maybe FilePath)’ • Possible cause: ‘findJustBy’ is applied to too many arguments In the expression: findJustBy (findProgramLocation v) llvmConfigNames In the expression: \ v -> findJustBy (findProgramLocation v) llvmConfigNames In the ‘programFindLocation’ field of a record /tmp/cabal-tmp-24116/llvm-general-3.3.5.0/dist/setup/setup.hs:119:7: error: • Couldn't match expected type ‘TestFlags -> IO ()’ with actual type ‘IO b0’ • In a stmt of a 'do' block: addLLVMToLdLibraryPath (configFlags localBuildInfo) In the expression: do { addLLVMToLdLibraryPath (configFlags localBuildInfo); testHook simpleUserHooks packageDescription localBuildInfo userHooks testFlags } In the ‘testHook’ field of a record /tmp/cabal-tmp-24116/llvm-general-3.3.5.0/dist/setup/setup.hs:119:43: error: • Couldn't match expected type ‘LocalBuildInfo’ with actual type ‘PackageDescription’ • In the first argument of ‘configFlags’, namely ‘localBuildInfo’ In the first argument of ‘addLLVMToLdLibraryPath’, namely ‘(configFlags localBuildInfo)’ In a stmt of a 'do' block: addLLVMToLdLibraryPath (configFlags localBuildInfo) /tmp/cabal-tmp-24116/llvm-general-3.3.5.0/dist/setup/setup.hs:120:7: error: • Couldn't match expected type ‘IO b0’ with actual type ‘TestFlags -> IO ()’ • Probable cause: ‘testHook’ is applied to too few arguments In a stmt of a 'do' block: testHook simpleUserHooks packageDescription localBuildInfo userHooks testFlags In the expression: do { addLLVMToLdLibraryPath (configFlags localBuildInfo); testHook simpleUserHooks packageDescription localBuildInfo userHooks testFlags } In the ‘testHook’ field of a record )