9400779 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Run stylish (oops, sorry!)

commit9400779294f1c2dfe1c44426f2f7fb0e79d1c534 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateFri 20 Oct 2017, 13:36 (9 years ago) parent93720fd

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, throwIO)

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

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

2626#ifdef linux_HOST_OS

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