search

unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.81k stars 271 forks source link

tweak: don't truncate long names in some output messages #5364

Closed mitchellwrosen closed 1 month ago

mitchellwrosen commented 1 month ago

Overview

This PR just deletes the logic that truncates a long name if it can't fit in the preferred terminal width.

Before:

  I couldn't figure out what contentLength.get refers to here:

      2 | Body.decodeNonChunkedBody headers = match contentLength.get headers with

  The name contentLength.get is ambiguous. Its type should be: Headers -> Optional Nat

  I found some terms in scope that have matching names and types. Maybe you meant one
  of these:

  ...ers.standard.contentLength.get : Headers -> Optional Nat
  standard.contentLength.get : Headers -> Optional Nat

After:

  I couldn't figure out what contentLength.get refers to here:

      2 | Body.decodeNonChunkedBody headers = match contentLength.get headers with

  The name contentLength.get is ambiguous. Its type should be: Headers -> Optional Nat

  I found some terms in scope that have matching names and types. Maybe you meant one
  of these:

  Headers.standard.contentLength.get : Headers -> Optional Nat
  standard.contentLength.get : Headers -> Optional Nat

Test coverage

I tested this change manually