Code

Ty check#981

Code

Merged

Y-Nak merged 88 commits intoethereum:fe-v2ethereum/fe:fe-v2from Y-Nak:ty-checkY-Nak/fe:ty-checkCopy head branch name to clipboardApr 23, 2024

+14,956-2,370

Commits

Commits on Jan 30, 2024

• Add bot type

  Y-Nak

  committed
  8cbdeed

  Copy full SHA for 8cbdeed

Commits on Jan 31, 2024

• Let unification table describe a reason for unification failure

  Y-Nak

  committed
  f6213dc

  Copy full SHA for f6213dc

• Add utility methods to PathId

  Y-Nak

  committed
  d32f8f9

  Copy full SHA for d32f8f9

• Implement TyCheckEnv

  Y-Nak

  committed
  b84d590

  Copy full SHA for b84d590

• ty_check: lit int

  Y-Nak

  committed
  b0b6880

  Copy full SHA for b0b6880

• Add uitest runner for ty check

  Y-Nak

  committed
  d6e383b

  Copy full SHA for d6e383b

Commits on Feb 1, 2024

• Escalate String to primitive type

  Y-Nak

  committed
  44f9b77

  Copy full SHA for 44f9b77

• ty_check: lit string

  Y-Nak

  committed
  b5edec0

  Copy full SHA for b5edec0

• ty_check: wildcard, rest, lit, tuple, or pattern

  Y-Nak

  committed
  357c5b2

  Copy full SHA for 357c5b2

Commits on Feb 2, 2024

• Change early name path analysis to check paths in expr, pat and stmt

  Y-Nak

  committed
  3d9d648

  Copy full SHA for 3d9d648

• ty_check: simple path pat and let stmt

  Y-Nak

  committed
  21294f6

  Copy full SHA for 21294f6

Commits on Feb 13, 2024

• ty_check: make expr module to isolate logics for expression type checking

  Y-Nak

  committed
  40c63d0

  Copy full SHA for 40c63d0

• ty_check: path tuple pat

  Y-Nak

  committed
  5457322

  Copy full SHA for 5457322

Commits on Feb 16, 2024

• ty_check: record pat

  Y-Nak

  committed
  58c6748

  Copy full SHA for 58c6748

• ty_check: if expr

  Y-Nak

  committed
  44a630d

  Copy full SHA for 44a630d

Commits on Feb 17, 2024

• Refactor PathResolver to resolve paths in several contexts

  Y-Nak

  committed
  e86ff8c

  Copy full SHA for e86ff8c

• Implement basic expr path resolution

  Y-Nak

  committed
  20a2b69

  Copy full SHA for 20a2b69

Commits on Feb 19, 2024

• Change function type param representation to include parent generic params explicitly

  Y-Nak

  committed
  406fc49

  Copy full SHA for 406fc49

Commits on Feb 20, 2024

• ty_check: path expression and binding resolution

  Y-Nak

  committed
  9226394

  Copy full SHA for 9226394

Commits on Feb 21, 2024

• ty_check: record init expression

  Y-Nak

  committed
  6e05401

  Copy full SHA for 6e05401

Commits on Feb 22, 2024

• Fix a bug in parsing record init with implicit label

  Y-Nak

  committed
  07d3caf

  Copy full SHA for 07d3caf

• Add record field visibility check

  Y-Nak

  committed
  97eb128

  Copy full SHA for 97eb128

Commits on Feb 23, 2024

• ty_check: tuple expression

  Y-Nak

  committed
  cc29e12

  Copy full SHA for cc29e12

• Fix path resolution in pattern for shadowing to work properly

  Y-Nak

  committed
  223f3fa

  Copy full SHA for 223f3fa

• ty_check: array expression

  Y-Nak

  committed
  16b9b58

  Copy full SHA for 16b9b58

• ty_check: array repeat expression

  Y-Nak

  committed
  14a33ad

  Copy full SHA for 14a33ad

Commits on Feb 25, 2024

• Fix hir visitor bug in span conversion into path tuple pattern

  Y-Nak

  committed
  a15fd10

  Copy full SHA for a15fd10

• Fix early path resolver to handle paths starting with Self properly

  Y-Nak

  committed
  969fae7

  Copy full SHA for 969fae7

• Refine late path resolution by abstracting resolved types

  Y-Nak

  committed
  d62fa52

  Copy full SHA for d62fa52

• ty_check: match expression

  Y-Nak

  committed
  cdd430e

  Copy full SHA for cdd430e

Commits on Feb 26, 2024

• Remove unnecessary and fragile usage of unification table from constraint collection

  Y-Nak

  committed
  87acbf2

  Copy full SHA for 87acbf2

• Add bot(never) type in type system, also add workaround in unification realating bot

  Y-Nak

  committed
  5ac90b1

  Copy full SHA for 5ac90b1

• ty_check: return expression

  Y-Nak

  committed
  8edee2e

  Copy full SHA for 8edee2e

• ty_check: field access expresssion

  Y-Nak

  committed
  87b59d5

  Copy full SHA for 87b59d5

Commits on Feb 27, 2024

• ty_check: index expression

  Y-Nak

  committed
  121f2e6

  Copy full SHA for 121f2e6

• ty_check: unary expression

  Y-Nak

  committed
  4a5b46c

  Copy full SHA for 4a5b46c

• ty_check: binary expression

  Y-Nak

  committed
  61194ea

  Copy full SHA for 61194ea

Commits on Feb 28, 2024

• ty_check: Add a property to indicate mutability to TypedExpr

  Y-Nak

  committed
  38a7c2c

  Copy full SHA for 38a7c2c

• ty_check: assign and aug assign expression

  Y-Nak

  committed
  6b90c6a

  Copy full SHA for 6b90c6a

• ty_check: while statement

  Y-Nak

  committed
  fa11f46

  Copy full SHA for fa11f46

Commits on Feb 29, 2024

• ty_check: break and continue statement

  Y-Nak

  committed
  addfa9e

  Copy full SHA for addfa9e

• ty_check: for statement

  Y-Nak

  committed
  414c89d

  Copy full SHA for 414c89d

Commits on Mar 2, 2024

• Bumpup dir-test version to 0.2

  Y-Nak

  committed
  1a82fb8

  Copy full SHA for 1a82fb8

Commits on Mar 3, 2024

• ty_check: function call

  Y-Nak

  committed
  ab3280c

  Copy full SHA for ab3280c

Commits on Apr 6, 2024

• ty_check: Fix bug in type inference in match expr

  Y-Nak

  committed
  5c2d329

  Copy full SHA for 5c2d329

• Fix missing scope information for unnamed imports

  Y-Nak

  committed
  56ad272

  Copy full SHA for 56ad272

• Enable to find all impls of a given type

  Y-Nak

  committed
  a727642

  Copy full SHA for a727642

Commits on Apr 7, 2024

• Add function to collect available traits in the given scope

  Y-Nak

  committed
  680aedf

  Copy full SHA for 680aedf

Commits on Apr 8, 2024

• Rename TyVarUniverse to TyVarSort

  Y-Nak

  committed
  1fbdaca

  Copy full SHA for 1fbdaca

• Add TypeFoldable/TypeFolder

  Y-Nak

  committed
  dfb434d

  Copy full SHA for dfb434d

• Implement TypeFolder to UnificationTable

  Y-Nak

  committed
  7473460

  Copy full SHA for 7473460

• Add TypeVisitable

  Y-Nak

  committed
  ec62ef2

  Copy full SHA for ec62ef2

• Implement Binder

  Y-Nak

  committed
  d145aa9

  Copy full SHA for d145aa9

• Cleanup Implementor by wrapping it by Binder

  Y-Nak

  committed
  9c057ed

  Copy full SHA for 9c057ed

Commits on Apr 9, 2024

• Wrap up types by Binder more

  Y-Nak

  committed
  df5d530

  Copy full SHA for df5d530

• Cleanup trait impl method comparison

  Y-Nak

  committed
  32095d5

  Copy full SHA for 32095d5

Commits on Apr 10, 2024

• Cleanup binder usage

  Y-Nak

  committed
  789e4b3

  Copy full SHA for 789e4b3

• Remove subst in favor of TypeFoldable

  Y-Nak

  committed
  ad3961f

  Copy full SHA for ad3961f

• Remove unnecessary types

  Y-Nak

  committed
  735e53d

  Copy full SHA for 735e53d

Commits on Apr 11, 2024

• ty_check: inherent method call

  Y-Nak

  committed
  42cae75

  Copy full SHA for 42cae75

Commits on Apr 12, 2024

• Fix missing visibility check in field access

  Y-Nak

  committed
  86f5575

  Copy full SHA for 86f5575

Commits on Apr 14, 2024

• Modify FuncDef definition to allow lowering an enum unit variant into a function

  Y-Nak

  committed
  6c1a289

  Copy full SHA for 6c1a289

• Add lowering from tuple varaint to func def

  Y-Nak

  committed
  fc4ecf1

  Copy full SHA for fc4ecf1

• Allow users to specify ! type

  Y-Nak

  committed
  1201d1b

  Copy full SHA for 1201d1b

• Add tests for method call

  Y-Nak

  committed
  3722455

  Copy full SHA for 3722455

Commits on Apr 15, 2024

• Fix meaningless type application in method call

  Y-Nak

  committed
  41df1f1

  Copy full SHA for 41df1f1

• Improve error message in method selection

  Y-Nak

  committed
  3e957ec

  Copy full SHA for 3e957ec

• ty_check: trait method call

  Y-Nak

  committed
  5c99db5

  Copy full SHA for 5c99db5

• ty_check: bitnot op

  Y-Nak

  committed
  81aa403

  Copy full SHA for 81aa403

• ty_check: static trait method

  Y-Nak

  committed
  f748981

  Copy full SHA for f748981

Commits on Apr 16, 2024

• ty_check: const

  Y-Nak

  committed
  b382899

  Copy full SHA for b382899

• Add check for foreign/non-nominal type in inherent impl

  Y-Nak

  committed
  a08494a

  Copy full SHA for a08494a

• Fix missing instantiation in method selection

  Y-Nak

  committed
  d79ab5a

  Copy full SHA for d79ab5a

• Fix impl method stricter bound check so that it ignores parental assumptions

  Y-Nak

  committed
  ff34c65

  Copy full SHA for ff34c65

• Cleanup path resolution in body

  Y-Nak

  committed
  9436e7a

  Copy full SHA for 9436e7a

Commits on Apr 17, 2024

• Resolve const generics as a term

  Y-Nak

  committed
  356a613

  Copy full SHA for 356a613

Commits on Apr 18, 2024

• Cleanup ty_def module

  Y-Nak

  committed
  e2677e7

  Copy full SHA for e2677e7

• Add TyFlags

  Y-Nak

  committed
  b609ab7

  Copy full SHA for b609ab7

Commits on Apr 19, 2024

• Improve error messages

  Y-Nak

  committed
  48d37e9

  Copy full SHA for 48d37e9

• Improve representation of trait constraints

  Y-Nak

  committed
  f921fee

  Copy full SHA for f921fee

• Handle unexpected missing self type in trait method check

  Y-Nak

  committed
  8813f69

  Copy full SHA for 8813f69

• Allow missing self label

  Y-Nak

  committed
  e311f2b

  Copy full SHA for e311f2b

Commits on Apr 20, 2024

• Stop visiting block internal items when finalizing type checking

  Y-Nak

  committed
  0e5779f

  Copy full SHA for 0e5779f

Commits on Apr 21, 2024

• Fix missing instantiation in method selection

  Y-Nak

  committed
  8690082

  Copy full SHA for 8690082

• Fix missing string type variable fallback

  Y-Nak

  committed
  bfd4fdd

  Copy full SHA for bfd4fdd

• Update old tests

  Y-Nak

  committed
  9344ba8

  Copy full SHA for 9344ba8

• Add more tests

  Y-Nak

  committed
  fa08726

  Copy full SHA for fa08726

Commits on Apr 22, 2024

• Canonicalize more

  Y-Nak

  committed
  2cfa44c

  Copy full SHA for 2cfa44c