From c8875c0f9d9994c335873fcaedb464e451a03db0 Mon Sep 17 00:00:00 2001
From: russoul <russoulmc@gmail.com>
Date: Mon, 26 Oct 2020 18:54:11 +0300
Subject: [PATCH] Do a tiny renaming

---
 src/Idris/IDEMode/REPL.idr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Idris/IDEMode/REPL.idr b/src/Idris/IDEMode/REPL.idr
index fbc585bef..17503f31b 100644
--- a/src/Idris/IDEMode/REPL.idr
+++ b/src/Idris/IDEMode/REPL.idr
@@ -142,7 +142,7 @@ data IDEResult
   | NameList (List Name)
   | Term String   -- should be a PTerm + metadata, or SExp.
   | TTTerm String -- should be a TT Term + metadata, or perhaps SExp
-  | NamesInFiles (List (Name, FC))
+  | NameLocList (List (Name, FC))
 
 replWrap : Core REPLResult -> Core IDEResult
 replWrap m = pure $ REPL !m
@@ -164,7 +164,7 @@ process (NameAt name Nothing)
     = do defs <- get Ctxt
          glob <- lookupCtxtName (UN name) (gamma defs)
          let dat = map (\(name, _, gdef) => (name, gdef.location)) glob
-         pure (NamesInFiles dat)
+         pure (NameLocList dat)
 process (NameAt n (Just _))
     = do todoCmd "name-at <name> <line> <column>"
          pure $ REPL $ Edited $ DisplayEdit emptyDoc
@@ -388,7 +388,7 @@ displayIDEResult outf i (REPL $ ConsoleWidthSet mn)
                     Just k  => show k
                     Nothing => "auto"
     in printIDEResult outf i $ StringAtom $ "Set consolewidth to " ++ width
-displayIDEResult outf i (NamesInFiles dat)
+displayIDEResult outf i (NameLocList dat)
   = printIDEResult outf i
      $ SExpList !(traverse
                    (\(name, fc)