cc7ff93 · Idris-dev · git.iko.soy

src/Idris/Core/ProofState.hs−1

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

31import Control.Arrow ((***))

32import Control.Monad.State.Strict

33import Data.List

34−import Debug.Trace

35

34

36data ProofState = PS { thname :: Name,

35data ProofState = PS { thname :: Name,

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

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

src/Idris/Elab/Type.hs−1

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

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

17import Idris.Core.Evaluate

18import Idris.Core.TT

19−import Idris.Core.WHNF

20import Idris.Docstrings (Docstring)

19import Idris.Docstrings (Docstring)

21import Idris.Elab.Term

20import Idris.Elab.Term

22import Idris.Elab.Utils

21import Idris.Elab.Utils

src/Idris/Elab/Utils.hs−1

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

26import Data.List

27import qualified Data.Map as Map

28import Data.Maybe

29−import Debug.Trace

30

29

31recheckC = recheckC_borrowing False True []

30recheckC = recheckC_borrowing False True []

32

31

src/Util/DynamicLinker.hs+1−1

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

21import System.Win32.DLL

22import System.Win32.Types

23#else

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

24+import Control.Exception (IOException, try)

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

26#ifdef linux_HOST_OS

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