cc7ff93 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #4133 from mgttlinger/fixed-unused-imports

Fixed unused imports reported by ghc

commitcc7ff9350bee125366da9970b7771a0a946b84ff authorAhmad Salim Al-Sibahi <asal@itu.dk> dateWed 18 Oct 2017, 22:39 (9 years ago) parent4fa3c29 dd5b4d7

4 files changed+1−4

compare with master

unifiedsplit

src/Idris/Core/ProofState.hs−1 src/Idris/Elab/Type.hs−1 src/Idris/Elab/Utils.hs−1 src/Util/DynamicLinker.hs+1−1

src/Idris/Core/ProofState.hs−1

@@ -31,7 +31,6 @@ import Util.Pretty hiding (fill)

3131import Control.Arrow ((***))

3232import Control.Monad.State.Strict

3333import Data.List

34−import Debug.Trace

3534

3635data ProofState = PS { thname :: Name,

3736 holes :: [Name], -- ^ holes still to be solved

src/Idris/Elab/Type.hs−1

@@ -16,7 +16,6 @@ import Idris.ASTUtils

1616import Idris.Core.Elaborate hiding (Tactic(..))

1717import Idris.Core.Evaluate

1818import Idris.Core.TT

19−import Idris.Core.WHNF

2019import Idris.Docstrings (Docstring)

2120import Idris.Elab.Term

2221import Idris.Elab.Utils

src/Idris/Elab/Utils.hs−1

@@ -26,7 +26,6 @@ import Control.Monad.State

2626import Data.List

2727import qualified Data.Map as Map

2828import Data.Maybe

29−import Debug.Trace

3029

3130recheckC = recheckC_borrowing False True []

3231

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

24+import Control.Exception (IOException, try)

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

2626#ifdef linux_HOST_OS

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