Code

Backticky symbol parsing#3525

Code

Merged

aryairani merged 50 commits intotrunkunisonweb/unison:trunkfrom 22-10-18-backticky-parserunisonweb/unison:22-10-18-backticky-parserCopy head branch name to clipboardFeb 26, 2024

+2,017-1,855

Commits

Commits on Oct 19, 2022

• delete unused Backticks lexeme

  mitchellwrosen

  committed
  4fda3cc

  Copy full SHA for 4fda3cc

• Require backticks to parse a symbol with a "." anywhere in it

  mitchellwrosen

  committed
  90f515e

  Copy full SHA for 90f515e

• move some lexers to the top level

  mitchellwrosen

  committed
  9cea1f7

  Copy full SHA for 9cea1f7

Commits on Oct 20, 2022

• begin fixing type errors

  mitchellwrosen

  committed
  6420602

  Copy full SHA for 6420602

Commits on Nov 15, 2022

• ⅄ 22-10-19-syntax-name → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  05b3cd5

  Copy full SHA for 05b3cd5

Commits on Dec 21, 2022

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  41b9894

  Copy full SHA for 41b9894

Commits on Jan 17, 2024

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  c873ddf

  Copy full SHA for c873ddf

• remove unused prisms

  mitchellwrosen

  committed
  d679b4d

  Copy full SHA for d679b4d

Commits on Jan 18, 2024

• begin building out a Unison.Syntax.NameSegment module

  mitchellwrosen

  committed
  8862951

  Copy full SHA for 8862951

• fix a bug in identifier parser

  mitchellwrosen

  committed
  dd6c0d6

  Copy full SHA for dd6c0d6

• extract name parser out to share among lexer and path parser

  mitchellwrosen

  committed
  768df76

  Copy full SHA for 768df76

• begin unifying name and path parsers

  mitchellwrosen

  committed
  81e4ebe

  Copy full SHA for 81e4ebe

• use name parser in parseSplit'

  mitchellwrosen

  committed
  3677c6b

  Copy full SHA for 3677c6b

Commits on Jan 19, 2024

• unify name and path parsers

  mitchellwrosen

  committed
  51b650b

  Copy full SHA for 51b650b

Commits on Jan 24, 2024

• more path, name, and name segment work (doesn't build yet)

  mitchellwrosen

  committed
  8871927

  Copy full SHA for 8871927

Commits on Jan 26, 2024

• wip

  mitchellwrosen

  committed
  e4a2080

  Copy full SHA for e4a2080

Commits on Jan 29, 2024

• more NameSegment to/from text

  mitchellwrosen

  committed
  374a641

  Copy full SHA for 374a641

Commits on Jan 30, 2024

• fix compiler errors in tests

  mitchellwrosen

  committed
  186843b

  Copy full SHA for 186843b

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  acce2ea

  Copy full SHA for acce2ea

• add export list to Unison.NameSegment

  mitchellwrosen

  committed
  80b528d

  Copy full SHA for 80b528d

Commits on Jan 31, 2024

• delete NameSegment.segments', implement Var.universallyQuantifyIfFree without it

  mitchellwrosen

  committed
  ab361b6

  Copy full SHA for ab361b6

• remove NameSegment.reverseSegments'

  mitchellwrosen

  committed
  9299a19

  Copy full SHA for 9299a19

• add instance IsString NameSegment

  mitchellwrosen

  committed
  7f93853

  Copy full SHA for 7f93853

• UnsafeNameSegment -> NameSegment

  mitchellwrosen

  committed
  07078e9

  Copy full SHA for 07078e9

• implement NameSegment.toEscapedText

  mitchellwrosen

  committed
  914e367

  Copy full SHA for 914e367

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  0504bca

  Copy full SHA for 0504bca

Commits on Feb 1, 2024

• sytax work

  mitchellwrosen

  committed
  3044255

  Copy full SHA for 3044255

• delete a couple unused imports

  mitchellwrosen

  committed
  fb3104d

  Copy full SHA for fb3104d

• fix and move Var.namespaced

  mitchellwrosen

  committed
  9799b4f

  Copy full SHA for 9799b4f

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  96ca5c7

  Copy full SHA for 96ca5c7

Commits on Feb 2, 2024

• lexer fix

  mitchellwrosen

  committed
  17f7067

  Copy full SHA for 17f7067

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  cf15f30

  Copy full SHA for cf15f30

• bugfix: term printer put too many use statements

  mitchellwrosen

  committed
  3f3860f

  Copy full SHA for 3f3860f

• bugfix: Path.toText rendered an empty path as ".", not ""

  mitchellwrosen

  committed
  609c47b

  Copy full SHA for 609c47b

Commits on Feb 3, 2024

• fix "." parsing in term parser

  mitchellwrosen

  committed
  34cc9c8

  Copy full SHA for 34cc9c8

Commits on Feb 20, 2024

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  aa21079

  Copy full SHA for aa21079

• commit transcript diff that fixes forall display bug

  mitchellwrosen

  committed
  fd74c51

  Copy full SHA for fd74c51

• fix ancient bug in the local ui that reared its head at last

  mitchellwrosen

  committed
  08ae88c

  Copy full SHA for 08ae88c

Commits on Feb 21, 2024

• fix another old-bug-rearing-head situation

  mitchellwrosen

  committed
  64757ef

  Copy full SHA for 64757ef

• fix a few things, but oops completion is broken somehow

  mitchellwrosen

  committed
  ed88158

  Copy full SHA for ed88158

Commits on Feb 22, 2024

• partially fix tab-completion

  mitchellwrosen

  committed
  12a75f1

  Copy full SHA for 12a75f1

• fix tab completion

  mitchellwrosen

  committed
  e31aba4

  Copy full SHA for e31aba4

• allow () escaped in backticks

  mitchellwrosen

  committed
  d34522e

  Copy full SHA for d34522e

• regenerate all-base-hashes output

  mitchellwrosen

  committed
  19070ce

  Copy full SHA for 19070ce

• regenerate serial-test-00 output

  mitchellwrosen

  committed
  5330261

  Copy full SHA for 5330261

• make deleteReplacements transcript work

  mitchellwrosen

  committed
  c614841

  Copy full SHA for c614841

Commits on Feb 23, 2024

• ⅄ trunk → 22-10-18-backticky-parser

  mitchellwrosen

  committed
  d8a9f3e

  Copy full SHA for d8a9f3e

• allow reserved things between backticks

  mitchellwrosen

  committed
  5cb5469

  Copy full SHA for 5cb5469

Commits on Feb 26, 2024

• add transcript

  mitchellwrosen

  committed
  179e131

  Copy full SHA for 179e131

• add transcript

  mitchellwrosen

  committed
  581e2e1

  Copy full SHA for 581e2e1