Code

Add a Collection type#40

Code

Open

ruuda wants to merge 4 commits intomasterruuda/rcl:masterfrom type-collectionruuda/rcl:type-collectionCopy head branch name to clipboard

+111-61

Commits

Commits on Mar 7, 2024

• Define a Collection supertype for List and Set

  Show description for e96a265
  ruuda

  committed
  e96a265

  Copy full SHA for e96a265

• Propagate Collection expectation into literals

  Show description for f60e615
  ruuda

  committed
  f60e615

  Copy full SHA for f60e615

• Clarify the meaning of TypeDiff cases

  Show description for 6126539
  ruuda

  committed
  6126539

  Copy full SHA for 6126539

• Add reminder to preserve type info in Collection

  Show description for c3a74f9
  ruuda

  committed
  c3a74f9

  Copy full SHA for c3a74f9