Code

Improve parsing even further#153

Code

Merged

nikomatsakis merged 38 commits intorust-lang:mainrust-lang/a-mir-formality:mainfrom nikomatsakis:parser-testingnikomatsakis/a-mir-formality-ndm:parser-testingCopy head branch name to clipboardNov 9, 2023

+2,729-723

Commits

Commits on Nov 4, 2023

• move the Variable names etc into a grammar module

  Show description for 1dab6f1
  nikomatsakis

  committed
  1dab6f1

• start an example

  nikomatsakis

  committed
  51ccd0c

Commits on Nov 5, 2023

• eg: tests

  nikomatsakis

  committed
  7292feb

• refactor parsing of modes to be more extensible

  Show description for 44abbf2
  nikomatsakis

  committed
  44abbf2

• introduce delimited lists

  Show description for edc9d48
  nikomatsakis

  committed
  edc9d48

• use $<> form in Rust grammar

  nikomatsakis

  committed
  38f6fee

• don't print <> if no variables are bound

  nikomatsakis

  committed
  01d59dd

• use language's binder character

  nikomatsakis

  committed
  f5d4a2c

• remove unused imports

  nikomatsakis

  committed
  60b2cae

• use $() for parameter listing

  nikomatsakis

  committed
  4a5e917

• rename from Delimited to DelimitedVec

  nikomatsakis

  committed
  8fe05f9

• refactor parsing codegen

  Show description for f7dbc28
  nikomatsakis

  committed
  f7dbc28

• refactor debug codegen

  Show description for 5136925
  nikomatsakis

  committed
  5136925

• use guarded bindings for optional where-clauses

  Show description for c30ff77
  nikomatsakis

  committed
  c30ff77

• accept defaulted binders in traits, remove <>

  Show description for 1dc3bda
  nikomatsakis

  committed
  1dc3bda

• refactor Parser API to use multi_variant

  Show description for af41c9a
  nikomatsakis

  committed
  af41c9a

• refactor tracing for clearer printouts

  nikomatsakis

  committed
  2dc6a97

• introduce left-recursive parsing

  nikomatsakis

  committed
  1df4375

• improve variant names

  nikomatsakis

  committed
  ba6ebaf

• add parser torture testing framework

  nikomatsakis

  committed
  c732d22

• introduce cast variant reduction suppression

  Show description for cf3141c
  nikomatsakis

  committed
  cf3141c

• fix subtle bug in is_preferable

  Show description for 3cf2831
  nikomatsakis

  committed
  3cf2831

• document and add some more tests

  nikomatsakis

  committed
  96f7077

Commits on Nov 7, 2023

• modify {:#?} to print the traditional debug

  Show description for d7946b6
  nikomatsakis

  committed
  d7946b6

• fix test to parse a + b + c

  Show description for a88c9cf
  nikomatsakis

  committed
  a88c9cf

• fix doctest

  nikomatsakis

  committed
  0f04609

• refactor out a general reject method

  Show description for 901d2e1
  nikomatsakis

  committed
  901d2e1

• automatically reject variable names

  Show description for 606a240
  nikomatsakis

  committed
  606a240

• move precedence into SuccessfulParse

  Show description for e95500c
  nikomatsakis

  committed
  e95500c

• adopt final_fn crate

  Show description for ac30d3b
  nikomatsakis

  committed
  ac30d3b

• track the current state when we recurse

  Show description for f7fe8f9
  nikomatsakis

  committed
  f7fe8f9

• track current text in current state

  nikomatsakis

  committed
  afa8d89

• introduce Precedence struct with associativity

  nikomatsakis

  committed
  165cb7c

• use reduction prefix to decide between variants

  Show description for 2b49e23
  nikomatsakis

  committed
  2b49e23

• the default is now MAX priority

  Show description for 61226f9
  nikomatsakis

  committed
  61226f9

• introduce proper precedence, associativity

  nikomatsakis

  committed
  0b1120a

Commits on Nov 9, 2023

• more thorough testing around associativity

  nikomatsakis

  committed
  13fe33c

• document ambiguity and precedence a bit more

  nikomatsakis

  committed
  ae6c33c