Code

feat[lang]: infer expected types#3765

Code

Draft

charles-cooper wants to merge 22 commits intovyperlang:mastervyperlang/vyper:masterfrom charles-cooper:feat/infer_expected_typescharles-cooper/vyper:feat/infer_expected_typesCopy head branch name to clipboard

+193-215

Commits

Commits on Feb 10, 2024

• rename validate_expected_type to infer_type and have it return a type

  Show description for 6b9fff2
  charles-cooper

  committed
  6b9fff2

  Copy full SHA for 6b9fff2

Commits on Feb 13, 2024

• Merge branch 'master' into feat/infer_expected_types

  charles-cooper

  committed
  c1b8979

  Copy full SHA for c1b8979

• update a comment

  charles-cooper

  committed
  b3e2fd9

  Copy full SHA for b3e2fd9

• improve type inference for revert reason strings

  charles-cooper

  committed
  3fd9fb8

  Copy full SHA for 3fd9fb8

• format some comments

  charles-cooper

  committed
  1350838

  Copy full SHA for 1350838

• use the result of infer_type

  charles-cooper

  committed
  2013d81

  Copy full SHA for 2013d81

• remove length modification functions on bytestring

  charles-cooper

  committed
  71aab61

  Copy full SHA for 71aab61

Commits on Mar 5, 2024

• feat[lang]: allow downcasting of bytestrings

  Show description for d7993ec
  charles-cooper

  committed
  d7993ec

  Copy full SHA for d7993ec

• fix direction of some comparisons

  charles-cooper

  committed
  93e53c1

  Copy full SHA for 93e53c1

Commits on Mar 6, 2024

• fix existing tests, add tests for new functionality, add compile-time check

  charles-cooper

  committed
  b2e62a2

  Copy full SHA for b2e62a2

Commits on Mar 8, 2024

• Merge branch 'master' into feat/bytestring-cast

  charles-cooper

  committed
  5348802

  Copy full SHA for 5348802

• Merge branch 'master' into feat/infer_expected_types

  charles-cooper

  committed
  f8689ab

  Copy full SHA for f8689ab

• Merge branch 'feat/bytestring-cast' into feat/infer_expected_types

  charles-cooper

  committed
  37880cb

  Copy full SHA for 37880cb

• allow bytestrings with ellipsis length

  charles-cooper

  committed
  35ec413

  Copy full SHA for 35ec413

Commits on Mar 9, 2024

• wip - fix external call codegen

  Show description for d8169e5
  charles-cooper

  committed
  d8169e5

  Copy full SHA for d8169e5

Commits on Mar 13, 2024

• Merge branch 'master' into feat/infer_expected_types

  charles-cooper

  committed
  45960ef

  Copy full SHA for 45960ef

Commits on Mar 14, 2024

• add a hint

  charles-cooper

  committed
  a7556d8

  Copy full SHA for a7556d8

Commits on Mar 19, 2024

• handle more cases in generic

  Show description for 0eedb38
  charles-cooper

  committed
  0eedb38

  Copy full SHA for 0eedb38

• Merge branch 'master' into feat/infer_expected_types

  charles-cooper

  committed
  06217ef

  Copy full SHA for 06217ef

• handle TYPE_T

  charles-cooper

  committed
  6ec7730

  Copy full SHA for 6ec7730

Commits on Mar 23, 2024

• Merge branch 'master' into feat/infer_expected_types

  charles-cooper

  authored
  9988eb3

  Copy full SHA for 9988eb3

Commits on Feb 21, 2025

• Merge branch 'master' into feat/infer_expected_types

  charles-cooper

  committed
  2e126d9

  Copy full SHA for 2e126d9