Search results

Type inference regression in UCM 1.1.0

bug

Status: Open.

#6161 In unisonweb/unison;

· LowYieldFire opened on Feb 4, 2026

<code>display</code> arg disambiguation could use numbered args treatment

feature request

Status: Open.

#6159 In unisonweb/unison;

· aryairani opened on Feb 3, 2026

diff.branch terminology

error-messageRequest for improved error messageRequest for improved error message

Status: Open.

#6156 In unisonweb/unison;

· aryairani opened on Feb 2, 2026

<code>run</code> disambiguation doesn't include names from the scratch file

bug

Status: Open.

#6154 In unisonweb/unison;

· aryairani opened on Jan 31, 2026

round trip multiline strings in expressions

bug

Status: Open.

#6152 In unisonweb/unison;

· aryairani opened on Jan 30, 2026

Misleading type error with under-applied functions

error-messageRequest for improved error messageRequest for improved error message

Status: Open.

#6144 In unisonweb/unison;

· ceedubs opened on Jan 26, 2026

find by type sensitive to type variable names?

bug

Status: Open.

#6140 In unisonweb/unison;

· aryairani opened on Jan 25, 2026

confusing typechecking error when unguarded bindings are out of order, worse with abilities

abilities

error-messageRequest for improved error messageRequest for improved error message

Status: Open.

#6139 In unisonweb/unison;

· aryairani opened on Jan 25, 2026

unexpected no results for find in transitive dependency

bug

Status: Open.

#6138 In unisonweb/unison;

· aryairani opened on Jan 23, 2026

<code>find</code> finds no results when <code>view</code> does find something

bug

Status: Open.

#6136 In unisonweb/unison;

· aryairani opened on Jan 23, 2026

Pattern match on Bytes literal

feature request

Status: Open.

#6128 In unisonweb/unison;

· ceedubs opened on Jan 20, 2026

apparent but not actual(?) churn when using <code>docEmbedTermLink</code> syntax

bug

Status: Open.

#6127 In unisonweb/unison;

· aryairani opened on Jan 19, 2026