output of find : [a] -> [a] different in "🗺 A tour of Unison"→"🎉 Running the UCM"

[das-g]

In 🗺 A tour of Unison, section 🎉 Running the UCM, there are currently the following instructions:

[…] Try out the following commands (new syntax is explained below):

.> find : [a] -> [a]

  1. base.data.List.distinct : [a] -> [a]
  2. base.data.Heap.sort : [a] -> [a]
  3. base.data.List.dropLast : [a] -> [a]
  4. base.data.List.reverse : [a] -> [a]
  5. base.data.Heap.sortDescending : [a] -> [a]

.> view 4

  base.data.List.reverse : [a] -> [a]
  base.data.List.reverse as = List.foldLeft (acc a -> a +: acc) [] as

However, the current output of find : [a] -> [a] is:

  1.  base.data.deprecated.Heap.sortDescending : [a] -> [a]
  2.  quickstart.lib.base.data.deprecated.Heap.sortDescending : [a] -> [a]
  3.  base.data.deprecated.Heap.sort : [a] -> [a]
  4.  quickstart.lib.base.data.deprecated.Heap.sort : [a] -> [a]
  5.  base.data.List.distinct : [a] -> [a]
  6.  quickstart.lib.base.data.List.distinct : [a] -> [a]
  7.  base.data.List.sort : [a] -> [a]
  8.  quickstart.lib.base.data.List.sort : [a] -> [a]
  9.  base.data.List.dropLast : [a] -> [a]
  10. quickstart.lib.base.data.List.dropLast : [a] -> [a]
  11. base.data.List.reverse : [a] -> [a]
  12. quickstart.lib.base.data.List.reverse : [a] -> [a]

and thus one would have to run

view 11

to look at the source code for List.reverse.

version information

• ucm version: release/M4h (built on 2023-02-21)
• nix store path: /nix/store/0myzdlryjwprqvsyl40d3g0v27cnbac6-unison-code-manager-1.0.M4h-alpha/bin/ucm
• .base: public.base.releases.v1_1_1

output of nix-info -m:

• system: "x86_64-linux"
• host os: Linux 6.1.15, NixOS, 23.05 (Stoat), 23.05pre461539.c90c4025bb6
• multi-user?: yes
• sandbox: yes
• version: nix-env (Nix) 2.13.3
• channels(root): "nixos, nixos-unstable"
• channels(das-g): ""
• nixpkgs: /nix/var/nix/profiles/per-user/root/channels/nixos