Code

Term name resolution change#5296

Code

Merged

mitchellwrosen merged 42 commits intotype-name-resolution-changeunisonweb/unison:type-name-resolution-changefrom term-name-resolution-changeunisonweb/unison:term-name-resolution-changeCopy head branch name to clipboardAug 26, 2024

+1,422-1,317

Commits

Commits on Aug 11, 2024

• Added precedence rules to term parser

  runarorama

  committed
  24b5aa5

• Cleanup

  runarorama

  committed
  9d4e2eb

• Add comments

  runarorama

  committed
  8efd8d5

Commits on Aug 13, 2024

• Proper algorithm for reassociation

  runarorama

  committed
  7012cc4

• Comments

  runarorama

  committed
  8736c4a

• Improve comments

  runarorama

  committed
  b92dede

Commits on Aug 15, 2024

• Modify infix printer

  runarorama

  committed
  725ee3b

Commits on Aug 16, 2024

• Adapt old infix printer to new rules

  runarorama

  committed
  d43288a

Commits on Aug 17, 2024

• Get rid of confusing precedence levels

  runarorama

  committed
  1470085

Commits on Aug 18, 2024

• Transcripts

  runarorama

  committed
  2998137

• transcripts

  runarorama

  committed
  3e89640

Commits on Aug 20, 2024

• Fix UI on Windows

  Show description for d242ae9
  puffnfresh

  committed
  d242ae9

• More parens for do blocks

  runarorama

  committed
  f48880f

• Get rid of commented-out code

  runarorama

  committed
  b64ac8b

• Add roundtrip tests

  runarorama

  committed
  3e40cb1

• Fix dev-ui-install.sh

  Show description for b1a4d73
  sellout

  committed
  b1a4d73

• Add exponentiation operators

  runarorama

  committed
  4c166f0

• Merge branch 'trunk' of https://github.com/unisonweb/unison into precedence

  runarorama

  committed
  da75484

Commits on Aug 21, 2024

• Add puffnfresh to contributors

  puffnfresh

  committed
  a7a80c9

• Simpler infix printer

  runarorama

  committed
  c8414eb

• Merge pull request #5288 from puffnfresh/bug/windows-ui

  Show description for b868fec
  mergify[bot]

  authored
  b868fec

• term name resolution tweak: don't prefer names from the file over names from the namespace

  mitchellwrosen

  committed
  4c6139a

Commits on Aug 22, 2024

• get ambiguous term error message properly suffixifying names

  mitchellwrosen

  committed
  f911310

• ⅄ trunk → term-name-resolution-change

  mitchellwrosen

  committed
  677e989

• show type suggestions for holes again

  mitchellwrosen

  committed
  f03f784

• Turn a possible “impossible” into a parse failure

  Show description for a025454
  sellout

  committed
  a025454

Commits on Aug 23, 2024

• Add a transcript to test empty match

  Show description for a1ba98e
  sellout

  committed
  a1ba98e

• Support pattern matching on empty types

  Show description for 1132a6b
  sellout

  committed
  1132a6b

• Merge pull request #5298 from sellout/empty-match

  Show description for 7178ec2
  pchiusano

  authored
  7178ec2

• Merge pull request #5297 from sellout/impossible-in-lexer

  Show description for 1207653
  pchiusano

  authored
  1207653

• Merge pull request #5291 from sellout/fix-dev-ui-install

  Show description for a1e188b
  pchiusano

  authored
  a1e188b

• emit a proper resolution result for constructors

  mitchellwrosen

  committed
  82d012f

• delete now-unused UnknownAbilityConstructor/UnknownDataConstructor errors

  mitchellwrosen

  committed
  7cb62a2

• Remove comments

  runarorama

  committed
  eefacbf

• More parens around do blocks

  runarorama

  committed
  8a70414

Commits on Aug 24, 2024

• Merge pull request #5273 from unisonweb/precedence

  Show description for e9ca76f
  runarorama

  authored
  e9ca76f

Commits on Aug 25, 2024

• Kill Configurator and Unison Config

  ChrisPenner

  committed
  2e71dff

Commits on Aug 26, 2024

• get the transcripts passing (but a couple are still broken)

  mitchellwrosen

  committed
  bbb04d9

• Merge pull request #5299 from unisonweb/cp/kill-config

  Show description for 6299fc3
  aryairani

  authored
  6299fc3

• restore better error messages from type checker, not parser, on term out-of-scope

  mitchellwrosen

  committed
  af8315e

• fix missing record field

  mitchellwrosen

  committed
  38c1482

• ⅄ trunk → term-name-resolution-change

  mitchellwrosen

  committed
  9892658