Weird treatment of abilities with multiple name segments in operation name

[pchiusano]

structural ability z.Zoink where
  yay.there : Nat -> Nat
  nay : Nat -> Nat

Now view Zoink

  structural ability z.Zoink where
    there : Nat ->{z.Zoink} Nat
    nay : Nat ->{z.Zoink} Nat

What happened to yay?

It's just a pretty-printing bug it seems:

.scratch> view Zoink

  structural ability z.Zoink where
    there : Nat ->{z.Zoink} Nat
    nay : Nat ->{z.Zoink} Nat

.scratch> ls z.Zoink

  1. nay  (Nat ->{Zoink} Nat)
  2. yay/ (1 definition)

.scratch> ls 2

  1. there (Nat ->{Zoink} Nat)

.scratch>