git.iko.soy/Idris-dev
on master help sign in
Tweak for stylish-haskell
6e66041Steven Shaw
src/Idris/Completion.hs+1−1
compare with master
unifiedsplit
@@ -11,7 +11,7 @@ Maintainer : The Idris Community.
11
11
12module Idris.Completion (replCompletion, proverCompletion) where
12module Idris.Completion (replCompletion, proverCompletion) where
13
13
14−import Idris.AbsSyntax (runIO, getIState)
14+import Idris.AbsSyntax (getIState, runIO)
15import Idris.AbsSyntaxTree
15import Idris.AbsSyntaxTree
16import Idris.Colours
16import Idris.Colours
17import Idris.Core.Evaluate (ctxtAlist, visibleDefinitions)
17import Idris.Core.Evaluate (ctxtAlist, visibleDefinitions)