Code

Flatten typesets#677

Code

Merged

CohenArthur merged 30 commits intomasterjinko-core/jinko:masterfrom flatten-typesetsjinko-core/jinko:flatten-typesetsCopy head branch name to clipboardSep 25, 2024

+912-206

Commits

Commits on Apr 24, 2024

• xparser: Parse literals as types

  CohenArthur

  committed
  a3ea472

  Copy full SHA for a3ea472

• name_resolve: Handle type literals properly by doing nothing

  CohenArthur

  committed
  70c45dc

  Copy full SHA for 70c45dc

Commits on Apr 28, 2024

• dedup: Add constant deduplication

  CohenArthur

  committed
  68c63c5

  Copy full SHA for 68c63c5

• fir: Allow constants to refer to themselves as types

  CohenArthur

  committed
  d170e00

  Copy full SHA for d170e00

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

  CohenArthur

  committed
  ed0da6a

  Copy full SHA for ed0da6a

• fir: Add IndexMut impl, cleanup Index impl

  CohenArthur

  committed
  1a51196

  Copy full SHA for 1a51196

• tyck: Add typechecking of literal types

  CohenArthur

  committed
  7299231

  Copy full SHA for 7299231

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

  CohenArthur

  committed
  ec182cc

  Copy full SHA for ec182cc

Commits on Apr 29, 2024

• [wip] widen: Add base for widening typesets

  CohenArthur

  committed
  63c65dd

  Copy full SHA for 63c65dd

Commits on Jun 2, 2024

• [wip]: more wip

  CohenArthur

  committed
  11b7821

  Copy full SHA for 11b7821

Commits on Jun 6, 2024

• [wip] widen: Done?

  CohenArthur

  committed
  21937e3

  Copy full SHA for 21937e3

Commits on Aug 29, 2024

• tyck: Clean up implementation of widen

  CohenArthur

  committed
  59e8dae

  Copy full SHA for 59e8dae

• checker: Do not default to unit type when node is not present in typectx

  CohenArthur

  committed
  4b2534a

  Copy full SHA for 4b2534a

• widen: Keep track of nodes when creating new TypeMap

  CohenArthur

  committed
  f3185b3

  Copy full SHA for f3185b3

Commits on Sep 2, 2024

• tyck: Build float as a union of all float constants too

  CohenArthur

  committed
  847135f

  Copy full SHA for 847135f

Commits on Sep 3, 2024

• tyck: Workaround test failure in type error formatting code

  CohenArthur

  committed
  f6b3e8e

  Copy full SHA for f6b3e8e

• builtins: Create builtin types as a union type

  CohenArthur

  committed
  284c31e

  Copy full SHA for 284c31e

Commits on Sep 13, 2024

• debug-fir: Clean-up implementation slightly

  CohenArthur

  committed
  3f06dc5

  Copy full SHA for 3f06dc5

• interpreter: Show constant values in Fir formatter

  CohenArthur

  committed
  6b2cd3f

  Copy full SHA for 6b2cd3f

• tyck: Fix widening of binary operations

  CohenArthur

  committed
  ae5589d

  Copy full SHA for ae5589d

• tyck: Split arithmetic builtins into Comparable and Equalable types

  CohenArthur

  committed
  36d1a52

  Copy full SHA for 36d1a52

• chore: Clippy fix old code

  CohenArthur

  committed
  3edfcce

  Copy full SHA for 3edfcce

Commits on Sep 14, 2024

• tyck: Add testcases mentioned in #677

  CohenArthur

  committed
  e9004f3

  Copy full SHA for e9004f3

• chore: Clippy fixes

  CohenArthur

  committed
  e3ddd4b

  Copy full SHA for e3ddd4b

Commits on Sep 25, 2024

• builtins: Cleanup operators and add Equality kind

  CohenArthur

  committed
  3804872

  Copy full SHA for 3804872

• dedup: Add deduplication of float literals

  CohenArthur

  committed
  3df5ac2

  Copy full SHA for 3df5ac2

• tools: Add deduplication benchmark tool

  CohenArthur

  committed
  f24a6c4

  Copy full SHA for f24a6c4

• chore: Formatting

  CohenArthur

  committed
  ec533da

  Copy full SHA for ec533da

• chore: Remove deadcode

  CohenArthur

  committed
  06f0901

  Copy full SHA for 06f0901

• dedup_bench: Remove output

  CohenArthur

  committed
  0f58ad2

  Copy full SHA for 0f58ad2