Code

Monomorphize generic types#660

Code

Draft

CohenArthur wants to merge 19 commits intomasterjinko-core/jinko:masterfrom monomorphize-typesjinko-core/jinko:monomorphize-typesCopy head branch name to clipboard

+913-23

Commits

Commits on Dec 2, 2024

• fire: Cleanup node accessors

  CohenArthur

  committed
  c68efaf

  Copy full SHA for c68efaf

• fir: Add base for TreeLike visitor

  CohenArthur

  committed
  f8031c0

  Copy full SHA for f8031c0

• name_resolve: Define generic types as types

  CohenArthur

  committed
  bcc277a

  Copy full SHA for bcc277a

• typecheck: Add base for building generic constraints

  CohenArthur

  committed
  d38ccb0

  Copy full SHA for d38ccb0

• typecheck: Continue trying to build constraints

  CohenArthur

  committed
  1a4816e

  Copy full SHA for 1a4816e

• [wip] typecheck

  CohenArthur

  committed
  6ffdb09

  Copy full SHA for 6ffdb09

• typecheck: Add documentation and process for Mono

  CohenArthur

  committed
  7aef9b2

  Copy full SHA for 7aef9b2

• typecheck: Handle generics in original LinkedTypeMap

  CohenArthur

  committed
  0d9e60c

  Copy full SHA for 0d9e60c

• fir: Do not require U: Default for MultiMapper

  CohenArthur

  committed
  df52e0b

  Copy full SHA for df52e0b

• fir: Implement Clone for Fir<T: Clone>

  CohenArthur

  committed
  0582b1c

  Copy full SHA for 0582b1c

• typecheck: Add base for building substitution map

  CohenArthur

  committed
  2a33de3

  Copy full SHA for 2a33de3

• fir: multi_mapper: Remove OriginIdx-related methods

  CohenArthur

  committed
  2d9a393

  Copy full SHA for 2d9a393

• fir: treelike: Add visit_all method

  CohenArthur

  committed
  234a984

  Copy full SHA for 234a984

• typecheck: subsitutions: Build callpoints substitutions properly

  CohenArthur

  committed
  fd30e99

  Copy full SHA for fd30e99

• wip

  CohenArthur

  committed
  bdb9a39

  Copy full SHA for bdb9a39

• chore: Rebase, use new fir API

  CohenArthur

  committed
  8f0c0b6

  Copy full SHA for 8f0c0b6

• substitutions: Start computing substitutions properly

  CohenArthur

  committed
  420913e

  Copy full SHA for 420913e

• mono: Take substitutions::Output as input

  CohenArthur

  committed
  5c6a062

  Copy full SHA for 5c6a062

• tyck: Add note about constraints on type instantiations

  CohenArthur

  committed
  a65f5b4

  Copy full SHA for a65f5b4