'main': Add TODO.

zsh-users · Mar 17, 2020 · 37d4ed0 · 37d4ed0
1 parent 22c4705
commit 37d4ed0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh
@@ -617,6 +617,9 @@ _zsh_highlight_main_highlighter_highlight_list()
       else
         _zsh_highlight_main_highlighter_expand_path $arg
         if [[ $arg != $REPLY ]]; then
+          # TODO: Is this right?  Shouldn't we simply check whether it's
+          # executable?  It's not just aliases and reserved words that aren't
+          # considered here; builtins should likewise be excluded.
           _zsh_highlight_main__type "$REPLY" 0 0
           res="$REPLY"
         fi