Code

Facet member access#4371

Code

Merged

zygoloid merged 20 commits intocarbon-language:trunkcarbon-language/carbon-lang:trunkfrom josh11b:facetmemberjosh11b/carbon-lang:facetmemberCopy head branch name to clipboardNov 26, 2024

+309-142

Commits

Commits on Oct 2, 2024

• Checkpoint progress.

  josh11b

  committed
  ed679c2

  Copy full SHA for ed679c2

• Checkpoint progress.

  josh11b

  committed
  034f17e

  Copy full SHA for 034f17e

• Rewrite constraint type checking

  josh11b

  committed
  6726770

  Copy full SHA for 6726770

Commits on Oct 3, 2024

• Checkpoint progress.

  josh11b

  committed
  a8e98bb

  Copy full SHA for a8e98bb

• Still has a FIXME, don't know how get a witness from a facet value

  josh11b

  committed
  39bf354

  Copy full SHA for 39bf354

• Save changes to check/member_access.cpp for facet member access

  josh11b

  committed
  85d8a12

  Copy full SHA for 85d8a12

• Revert "Still has a FIXME, don't know how get a witness from a facet value"

  Show description for 22b5987
  josh11b

  committed
  22b5987

  Copy full SHA for 22b5987

• Make tests pass even though accessing the members of .Self is broken

  josh11b

  committed
  708cb3b

  Copy full SHA for 708cb3b

Commits on Oct 4, 2024

• Merge remote-tracking branch 'upstream/trunk' into facetmember

  josh11b

  committed
  1c76bf4

  Copy full SHA for 1c76bf4

• Add TODO for unsupported case

  josh11b

  committed
  b7126a0

  Copy full SHA for b7126a0

• Merge branch 'whereck' into facetmember

  josh11b

  committed
  710f7de

  Copy full SHA for 710f7de

Commits on Oct 6, 2024

• Merge remote-tracking branch 'upstream/trunk' into facetmember

  josh11b

  committed
  389f70a

  Copy full SHA for 389f70a

Commits on Nov 16, 2024

• Merge remote-tracking branch 'upstream/trunk' into facetmember

  josh11b

  committed
  f7651da

  Copy full SHA for f7651da

Commits on Nov 22, 2024

• Merge remote-tracking branch 'upstream/trunk' into facetmember

  josh11b

  committed
  b3d5fba

  Copy full SHA for b3d5fba

• Add FacetAccessWitness instruction

  josh11b

  committed
  bebcde1

  Copy full SHA for bebcde1

• Merge remote-tracking branch 'upstream/trunk' into facetmember

  josh11b

  committed
  e5c308e

  Copy full SHA for e5c308e

• Merge branch 'witness' into facetmember

  josh11b

  committed
  319690d

  Copy full SHA for 319690d

• Checkpoint progress.

  josh11b

  committed
  0cfa7fc

  Copy full SHA for 0cfa7fc

• GetOrAddInst

  josh11b

  committed
  b7c1636

  Copy full SHA for b7c1636

Commits on Nov 23, 2024

• Get everything in shape

  josh11b

  committed
  5a5b46f

  Copy full SHA for 5a5b46f