7936fbb · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Re-add import since it seems to be needed

Might be a version conflict in idris.cabal, but it is at least needed on my machine to have throwIO in there!

commit7936fbb8d843335cbe914f1e91e5a26989e7c2e5 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 19 Oct 2017, 10:07 (9 years ago) parentc9936a6

1 file changed+1−1

unifiedsplit

src/Util/DynamicLinker.hs+1−1

@@ -21,7 +21,7 @@ import System.FilePath.Windows ((</>))

2121import System.Win32.DLL

2222import System.Win32.Types

2323#else

24−import Control.Exception (IOException, try)

24+import Control.Exception (IOException, try, throwIO)

2525import Foreign.Ptr (FunPtr, nullFunPtr, nullPtr)

2626#ifdef linux_HOST_OS

2727import Data.Array (bounds, inRange, (!))