Code

Typecheck literal types#673

Code

Closed

CohenArthur wants to merge 8 commits intomasterjinko-core/jinko:masterfrom tyck-type-literalsjinko-core/jinko:tyck-type-literalsCopy head branch name to clipboard

+451-79

Commits

Commits on Apr 24, 2024

• xparser: Parse literals as types

  CohenArthur

  committed
  a3ea472

• name_resolve: Handle type literals properly by doing nothing

  CohenArthur

  committed
  70c45dc

Commits on Apr 28, 2024

• dedup: Add constant deduplication

  CohenArthur

  committed
  68c63c5

• fir: Allow constants to refer to themselves as types

  CohenArthur

  committed
  d170e00

• error: Add From<Vec<Into<Error>>> to allow Fallible<Infallible> in Traverse

  CohenArthur

  committed
  ed0da6a

• fir: Add IndexMut impl, cleanup Index impl

  CohenArthur

  committed
  1a51196

• tyck: Add typechecking of literal types

  CohenArthur

  committed
  7299231

• tyck: Build bool as a union type of constants too

  CohenArthur

  committed
  ec182cc