Tweak for stylish-haskell
commit6e66041f5a364e2039136d574a5570432a483ce5
authorSteven Shaw <steven@steshaw.org>
dateWed 6 Sep 2017, 20:28 (9 years ago)
parent5950e1e
src/Idris/Completion.hs+1−1
@@ -11,7 +11,7 @@ Maintainer : The Idris Community.
1111
1212module Idris.Completion (replCompletion, proverCompletion) where
1313
14−import Idris.AbsSyntax (runIO, getIState)
14+import Idris.AbsSyntax (getIState, runIO)
1515import Idris.AbsSyntaxTree
1616import Idris.Colours
1717import Idris.Core.Evaluate (ctxtAlist, visibleDefinitions)