unisonweb/unison

something weird with `find`?

Open

#1.395 geöffnet am 3. Apr. 2020

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Haskell (304 Forks)batch import
bugcodebase-manager / ucmhelp wanted

Repository-Metriken

Stars
 (6.624 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 10T 2h) (5 gemergte PRs in 30 T)

Beschreibung

.temp.inside> find .temp

  1. type .temp.outside.A
  2. .temp.outside.A.A : Nat -> A
  

.temp.inside> cd .temp
.temp> find

  1.  type inside.B
  2.  inside.B.B : A -> B
  3.  inside.p : Nat
  4.  inside.q : Nat
  5.  inside.r : Nat -> Nat
  6.  inside.s : A
  7.  inside.t : B
  8.  type outside.A
  9.  outside.A.A : Nat -> A
  10. outside.c : Nat

Why does the first request show just 2 results instead of all 10?

Contributor Guide