find.global not working as expected (trunk as of 2021-07-02)

[alvaroc1]

My understanding is that find.global should search the entire code base (maybe incorrect?). It doesn't seem to work. It only works for me from the top-level:

.alvaro> find.global : Nat -> Nat

  ❓
  
  I couldn't resolve any of these symbols:
  
      1 | Nat -> Nat
  
  
  Symbol   Suggestions
           
  Nat      No matches

.alvaro> cd .
.> find.global : Nat -> Nat

  1.  base.Nat.complement : Nat -> Nat
  2.  base.Nat.increment : Nat -> Nat
  ...

[pchiusano]

Yeah, it’s not resolving the names in the type signature - it’s using only local names for that.

I think we could allow all names in the type signature, with precedence given to local names.