git.iko.soy/Idris-dev
on master help sign in
Code style tweak
8f6f9afSteven Shaw
src/Idris/Completion.hs+1−1
compare with master
unifiedsplit
@@ -46,7 +46,7 @@ tactics = map fst tacticArgs
46names :: Idris [String]
46names :: Idris [String]
47names = do ctxt <- tt_ctxt <$> getIState
47names = do ctxt <- tt_ctxt <$> getIState
48 return $
48 return $
49− mapMaybe nameString (allNames (visibleDefinitions ctxt)) ++
49+ mapMaybe nameString (allNames $ visibleDefinitions ctxt) ++
50 "Type" : map fst Idris.Parser.Expr.constants
50 "Type" : map fst Idris.Parser.Expr.constants
51 where
51 where
52 -- We need both fully qualified names and identifiers that map to them
52 -- We need both fully qualified names and identifiers that map to them