unisonweb/unison

something weird with `find`?

Open

#1,395 opened on Apr 3, 2020

View on GitHub
 (0 comments) (0 reactions) (1 assignee)Haskell (6,624 stars) (304 forks)batch import
bugcodebase-manager / ucmhelp wanted

Description

.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

Tech stack
None
Domain
cli
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
blocked
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
Familiarity with Unison's namespace model
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40
Research direction
The issue (https://github.com/unisonweb/unison/issues/1395) reports that `find .temp` returns only 2 results instead of expected 10. The bug is likely in the `find` command implementation, possibly in the recursive traversal. The code for `find` is probably in the Unison source, e.g., `src/Unison/Command/Find.hs` or similar. The maintainer should clarify if recursive search is intended; currently it seems to only list immediate children.