git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3262 from melted/missing_imp

Add missing import

commitb5e5d4d8be57cd1ee831fbf5002ab11730129334 authorNiklas Larsson <metaniklas@gmail.com> dateSat 9 Jul 2016, 21:57 (10 years ago) parentdccb5e0026f5f6
1 file changed+1−1
compare with master
unifiedsplit
src/Util/DynamicLinker.hs+1−1
src/Util/DynamicLinker.hs+1−1
@@ -17,7 +17,7 @@ import Foreign.LibFFI
1717import Foreign.Ptr (Ptr(), nullPtr, FunPtr, nullFunPtr, castPtrToFunPtr)
1818import System.Directory
1919#ifndef mingw32_HOST_OS
20−import Control.Exception (try, IOException)
20+import Control.Exception (try, IOException, throwIO)
2121import Data.Array (Array, inRange, bounds, (!))
2222import Data.Functor ((<$>))
2323import Data.Maybe (catMaybes)