Code

Named tuples second implementation#19174

Code

Merged

odersky merged 68 commits intoscala:mainscala/scala3:mainfrom dotty-staging:named-tuples-2dotty-staging/dotty:named-tuples-2Copy head branch name to clipboardMay 7, 2024

+2,365-292

Commits

Commits on May 6, 2024

• Improvements to tuples: Drop experimental

  odersky

  committed
  9d1f20d

  Copy full SHA for 9d1f20d

• Improvements to Tuples: New methods

  Show description for 2395ece
  odersky

  committed
  2395ece

  Copy full SHA for 2395ece

• Improvements to tuples: Allow prefix slice in fromArray

  odersky

  committed
  64a79c9

  Copy full SHA for 64a79c9

• Improvements to tuples: Rearrange types into a more logical order

  odersky

  committed
  cb95265

  Copy full SHA for cb95265

• Improvements to tuples: more new types and methods

  odersky

  committed
  6ae8252

  Copy full SHA for 6ae8252

• Add NamedTuple object to library

  odersky

  committed
  1f79b87

  Copy full SHA for 1f79b87

• Support for named tuples with new representation

  odersky

  committed
  b9899b7

  Copy full SHA for b9899b7

• Add doc page

  odersky

  committed
  27d6288

  Copy full SHA for 27d6288

• Make NamedTuple covariant in its value type

  odersky

  committed
  5dd48f9

  Copy full SHA for 5dd48f9

• Various tweaks

  odersky

  committed
  bd9bb8a

  Copy full SHA for bd9bb8a

• Harden NamedTuple handling against ill-formed NamedTuples

  odersky

  committed
  e0a11cd

  Copy full SHA for e0a11cd

• Fix test

  odersky

  committed
  b9d86fe

  Copy full SHA for b9d86fe

• Simplify tupleElementTypes unapply handling

  odersky

  committed
  0fbdb49

  Copy full SHA for 0fbdb49

• Fix pattern matching for get matches

  odersky

  committed
  6f53dcd

  Copy full SHA for 6f53dcd

• Another fix for named get patterns

  Show description for b44f15d
  odersky

  committed
  b44f15d

  Copy full SHA for b44f15d

• Avoid widening into unreducible types when inferring types

  Show description for 02aa578
  odersky

  committed
  02aa578

  Copy full SHA for 02aa578

• Fix rebase breakage

  odersky

  committed
  b7115e7

  Copy full SHA for b7115e7

• Make NamedTuples work under new MatchType spec

  odersky

  committed
  5c9bb5f

  Copy full SHA for 5c9bb5f

• Avoid TypeError exception in RefinedPrinter

  odersky

  committed
  4758830

  Copy full SHA for 4758830

• Move named-tuples-strawman.ccala to pending

  odersky

  committed
  18f600d

  Copy full SHA for 18f600d

• Update check file

  odersky

  committed
  5513ed6

  Copy full SHA for 5513ed6

• Better printing of NamedTuple type trees

  Show description for fb1541a
  odersky

  committed
  fb1541a

  Copy full SHA for fb1541a

• Add FieldsOf type

  odersky

  committed
  cf09b19

  Copy full SHA for cf09b19

• Describe and add tests for source incompabilities

  odersky

  committed
  4baa509

  Copy full SHA for 4baa509

• Rename NamedTuple.FieldsOf --> NamedTuple.From

  odersky

  committed
  702dcd5

  Copy full SHA for 702dcd5

• Implement Fields as a Selectable type member

  Show description for 1e31d16
  odersky

  committed
  1e31d16

  Copy full SHA for 1e31d16

• Refactor typedSelect

  Show description for 22e6c89
  odersky

  committed
  22e6c89

  Copy full SHA for 22e6c89

• Add section on computable field names to reference doc page

  odersky

  committed
  d0888f6

  Copy full SHA for d0888f6

• Fix fields as a selectable type member

  Show description for 69964b0
  odersky

  committed
  69964b0

  Copy full SHA for 69964b0

• Make NamedTuple.From work for named tuple arguments

  Show description for a3409e0
  odersky

  committed
  a3409e0

  Copy full SHA for a3409e0

• Fix NamedArg term/type classification

  odersky

  committed
  111674c

  Copy full SHA for 111674c

• Rename inMode to withModeBits

  Show description for 1fd5962
  odersky

  committed
  1fd5962

  Copy full SHA for 1fd5962

• Revert NamedArg term/type classification

  Show description for c0b792f
  odersky

  committed
  c0b792f

  Copy full SHA for c0b792f

• Update MimaFilters

  odersky

  committed
  611861b

  Copy full SHA for 611861b

• Fix rebase breakage in Parsers.scala

  odersky

  committed
  640da16

  Copy full SHA for 640da16

• Add tyql test case

  Show description for 67c0af2
  odersky

  committed
  67c0af2

  Copy full SHA for 67c0af2

• Introduce auto-conversion from named tuples to tuples

  odersky

  committed
  2cd5d7e

  Copy full SHA for 2cd5d7e

• Update documentation following review suggestions

  Show description for d8b7595
  

  odersky

  and

  dwijnand

  committed
  d8b7595

  Copy full SHA for d8b7595

• Drop TreeInfo's dropNamedArg

  odersky

  committed
  e0eb247

  Copy full SHA for e0eb247

• Print wildcard types in named tuples correctly

  odersky

  committed
  4279a58

  Copy full SHA for 4279a58

• Don't abbreviate tuple bindings if right-hand-side is named

  Show description for c0bd1e4
  odersky

  committed
  c0bd1e4

  Copy full SHA for c0bd1e4

• Strip named tuple from scrutinee when testing refutability of a named pattern match

  odersky

  committed
  b997f3d

  Copy full SHA for b997f3d

• Fix tuple selection in pattern matcher

  Show description for 2206d88
  odersky

  committed
  2206d88

  Copy full SHA for 2206d88

• Fixes to NamedTuple

  odersky

  committed
  ca19f1a

  Copy full SHA for ca19f1a

• More tests

  odersky

  committed
  984fe62

  Copy full SHA for 984fe62

• Mention restriction against _1, _2, ... as named tuple labels

  odersky

  committed
  21bcfef

  Copy full SHA for 21bcfef

• Address review comments on Tuple.scala

  odersky

  committed
  92d22c9

  Copy full SHA for 92d22c9

• Reject recursive dynamicSelect corner case

  odersky

  committed
  1613ee1

  Copy full SHA for 1613ee1

• Update compiler/src/dotty/tools/dotc/typer/Typer.scala

  odersky

  committed
  a04d3a7

  Copy full SHA for a04d3a7

• Update tests/neg/unselectable-fields.check

  odersky

  committed
  37b1bd2

  Copy full SHA for 37b1bd2

• Use consistent naming and drop remaining braces in tuple type ops

  

  EugeneFlesselle

  authored and

  odersky

  committed
  3f8f6c6

  Copy full SHA for 3f8f6c6

• Add an infix shorthand for Append[X, Y]

  Show description for 9627c08
  

  EugeneFlesselle

  authored and

  odersky

  committed
  9627c08

  Copy full SHA for 9627c08

• Drop unreachable case from type Zip

  

  EugeneFlesselle

  authored and

  odersky

  committed
  8a4162f

  Copy full SHA for 8a4162f

• Document Concat covariance in 2nd parameter

  

  EugeneFlesselle

  authored and

  odersky

  committed
  0ab9e7b

  Copy full SHA for 0ab9e7b

• Refine bounds of type Filter predicate

  Show description for 075b7d1
  

  EugeneFlesselle

  authored and

  odersky

  committed
  075b7d1

  Copy full SHA for 075b7d1

• Do contains runtime operation based on term equality

  

  EugeneFlesselle

  authored and

  odersky

  committed
  c58c8c2

  Copy full SHA for c58c8c2

• Do indexOf runtime operation based on term equality

  Show description for 57b17ac
  

  EugeneFlesselle

  authored and

  odersky

  committed
  57b17ac

  Copy full SHA for 57b17ac

• Do filter runtime operation based on a term level predicate

  

  EugeneFlesselle

  authored and

  odersky

  committed
  f427ec9

  Copy full SHA for f427ec9

• Mark type Append 2nd argument as covariant

  

  EugeneFlesselle

  authored and

  odersky

  committed
  94b7c1f

  Copy full SHA for 94b7c1f

• Move NonEmptyTuple methods into Tuple

  Show description for 5df2120
  

  EugeneFlesselle

  authored and

  odersky

  committed
  5df2120

  Copy full SHA for 5df2120

• Reorder operations to be same between term and type level

  

  EugeneFlesselle

  authored and

  odersky

  committed
  40c6138

  Copy full SHA for 40c6138

• Drop braces remaining at term level

  

  EugeneFlesselle

  authored and

  odersky

  committed
  03509b8

  Copy full SHA for 03509b8

• Fix def indexOf to return the size instead of -1

  

  EugeneFlesselle

  authored and

  odersky

  committed
  9047ac3

  Copy full SHA for 9047ac3

• Revert doing tuple runtime operations based on a term level predicates

  

  EugeneFlesselle

  authored and

  odersky

  committed
  579e14a

  Copy full SHA for 579e14a

• Make named-tuples-strawman-2.scala a run test

  Show description for 8d6fa37
  

  EugeneFlesselle

  authored and

  odersky

  committed
  8d6fa37

  Copy full SHA for 8d6fa37

• import language.experimental.namedTuples in pos/fieldsOf.scala

  

  EugeneFlesselle

  authored and

  odersky

  committed
  1e29c4f

  Copy full SHA for 1e29c4f

Commits on May 7, 2024

• Undo all unnecessary changes to Tuples.

  Show description for 0c89c92
  odersky

  committed
  0c89c92

  Copy full SHA for 0c89c92

• Revert the addition of type Fields in Selectable.

  Show description for f80a8dd
  

  sjrd

  authored and

  odersky

  committed
  f80a8dd

  Copy full SHA for f80a8dd