Code style tweak
commit8f6f9af5545c55eadad77b051a4fd255a94b3bc7
authorSteven Shaw <steven@steshaw.org>
dateFri 8 Sep 2017, 19:27 (9 years ago)
parent1f1155c
src/Idris/Completion.hs+1−1
@@ -46,7 +46,7 @@ tactics = map fst tacticArgs
4646names :: Idris [String]
4747names = do ctxt <- tt_ctxt <$> getIState
4848 return $
49− mapMaybe nameString (allNames (visibleDefinitions ctxt)) ++
49+ mapMaybe nameString (allNames $ visibleDefinitions ctxt) ++
5050 "Type" : map fst Idris.Parser.Expr.constants
5151 where
5252 -- We need both fully qualified names and identifiers that map to them