Code

Add transparent types#4727

Code

Closed

odersky wants to merge 64 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-transparent-typesdotty-staging/dotty:add-transparent-typesCopy head branch name to clipboard

Commits

Commits on Jun 26, 2018

• Check baseclasses when determining purity of class

  Show description for 8df8f4e
  odersky

  committed
  8df8f4e

  Copy full SHA for 8df8f4e

• Better purity predictions

  Show description for 8adf8db
  odersky

  committed
  8adf8db

  Copy full SHA for 8adf8db

• Exclude self and super constructor calls from purity warnings

  Show description for 7d26a08
  odersky

  committed
  7d26a08

  Copy full SHA for 7d26a08

• Fix pure interface prediction for methods with default arguments

  Show description for eb49110
  odersky

  committed
  eb49110

  Copy full SHA for eb49110

• Account for stable constrictors in ExtractAPI

  Show description for 603974e
  odersky

  committed
  603974e

  Copy full SHA for 603974e

• Introduce UntypedSplice

  Show description for 49a28de
  odersky

  committed
  49a28de

  Copy full SHA for 49a28de

• More robust scheme for untyped splices

  Show description for 3bc3e3b
  odersky

  committed
  3bc3e3b

  Copy full SHA for 3bc3e3b

• Make TreePickler untpd friendly

  Show description for 52ac21a
  odersky

  committed
  52ac21a

  Copy full SHA for 52ac21a

• More debug options for printing

  Show description for 444ce46
  odersky

  committed
  444ce46

  Copy full SHA for 444ce46

• Add untyped types to Tasty

  Show description for 1f33e9d
  odersky

  committed
  1f33e9d

  Copy full SHA for 1f33e9d

• Tweaks to pickling and unpickling untyped trees

  Show description for 2a2cb91
  odersky

  committed
  2a2cb91

  Copy full SHA for 2a2cb91

• Fix pickler printing of TERMREFin, TYPEREFin

  odersky

  committed
  798fbf7

  Copy full SHA for 798fbf7

• Fix pickling of flags in untyped mode

  odersky

  committed
  fc60ae9

  Copy full SHA for fc60ae9

• Add transparent modifier

  odersky

  committed
  1a257ba

  Copy full SHA for 1a257ba

• Fixes to pickling and unpickling untyped trees

  Show description for e95a000
  odersky

  committed
  e95a000

  Copy full SHA for e95a000

• Prepare to have both inlined and transparent methods

  Show description for 5056b88
  odersky

  committed
  5056b88

  Copy full SHA for 5056b88

• Dual purpose inliner

  Show description for 6762e68
  odersky

  committed
  6762e68

  Copy full SHA for 6762e68

• Two fixes to transparent handling

  Show description for 3617860
  odersky

  committed
  3617860

  Copy full SHA for 3617860

• Pretype nested transparent applications

  odersky

  committed
  89f3f93

  Copy full SHA for 89f3f93

• Pretype nested transparent applications

  Show description for c70c879
  odersky

  committed
  c70c879

  Copy full SHA for c70c879

• Fix wrong owner when reading annotations.

  Show description for 51139f0
  odersky

  committed
  51139f0

  Copy full SHA for 51139f0

• Expand test

  odersky

  committed
  8d7936e

  Copy full SHA for 8d7936e

• More tests

  odersky

  committed
  9e093c8

  Copy full SHA for 9e093c8

• Fix rebase breakage

  odersky

  committed
  c6616fd

  Copy full SHA for c6616fd

• Better error position when inline call limit exceeded

  Show description for fdbf083
  odersky

  committed
  fdbf083

  Copy full SHA for fdbf083

• Recursive transparent calls inline only in redex position

  Show description for a9e9b29
  odersky

  committed
  a9e9b29

  Copy full SHA for a9e9b29

• Fix test

  Show description for add85ea
  odersky

  committed
  add85ea

  Copy full SHA for add85ea

• Reduce projections of data type fields in inliner

  Show description for d4d6624
  odersky

  committed
  d4d6624

  Copy full SHA for d4d6624

• Check baseclasses when determining purity of class

  Show description for 8128902
  odersky

  committed
  8128902

  Copy full SHA for 8128902

• Replace inlined pure constant expressions by literals

  Show description for 244250e
  odersky

  committed
  244250e

  Copy full SHA for 244250e

• Add neg test

  odersky

  committed
  86517af

  Copy full SHA for 86517af

• Allow to project on private fields

  Show description for a736ea9
  odersky

  committed
  a736ea9

  Copy full SHA for a736ea9

• Don't forget bindings in projections.

  Show description for 8e5c8b4
  odersky

  committed
  8e5c8b4

  Copy full SHA for 8e5c8b4

• Inline transparent methods even if result type does not match

  Show description for f5a3b2e
  odersky

  committed
  f5a3b2e

  Copy full SHA for f5a3b2e

• Don't constrain result type of inlineable transparent methods

  Show description for fe8870e
  odersky

  committed
  fe8870e

  Copy full SHA for fe8870e

• Remove test

  Show description for c36911e
  odersky

  committed
  c36911e

  Copy full SHA for c36911e

• Take parents of class into account when determining NoInits flags

  Show description for 809ab6e
  odersky

  committed
  809ab6e

  Copy full SHA for 809ab6e

• Fix ErrorMessagesTest

  Show description for 7f08890
  odersky

  committed
  7f08890

  Copy full SHA for 7f08890

• Don't drop impure arguments when reducing projections

  odersky

  committed
  be53b5b

  Copy full SHA for be53b5b

• Fix: Don't drop impure arguments when reducing projections

  Show description for bf290ca
  odersky

  committed
  bf290ca

  Copy full SHA for bf290ca

• Update check file

  odersky

  committed
  bccac5e

  Copy full SHA for bccac5e

• Exclude memebrs of Predef from implicit inline environment

  Show description for a60d1c2
  odersky

  committed
  a60d1c2

  Copy full SHA for a60d1c2

• Allow types applied to terms in syntax and parser

  odersky

  committed
  43f276c

  Copy full SHA for 43f276c

• Syntax for computed type definitions

  odersky

  committed
  f64241c

  Copy full SHA for f64241c

Commits on Jun 27, 2018

• Drop unused HigherKinded flag

  Show description for 06dbeae
  odersky

  committed
  06dbeae

  Copy full SHA for 06dbeae

Commits on Jun 28, 2018

• Coomputed type defs have a TypeBounds as declared result type.

  odersky

  committed
  81950ef

  Copy full SHA for 81950ef

• Add HKTermLambdas

  Show description for c9f7535
  odersky

  committed
  c9f7535

  Copy full SHA for c9f7535

• Make `Transparent` a common flag

  odersky

  committed
  34ac63c

  Copy full SHA for 34ac63c

• Make Term Lambda parameters distribute into bounds

  Show description for d5619ae
  odersky

  committed
  d5619ae

  Copy full SHA for d5619ae

Commits on Jun 29, 2018

• First stab at type methods

  Show description for de2b06a
  odersky

  committed
  de2b06a

  Copy full SHA for de2b06a

• Implement pickling and unpickling of computed types

  odersky

  committed
  0ec4d98

  Copy full SHA for 0ec4d98

• Delete ErrorMessageTest

  Show description for 486f412
  odersky

  committed
  486f412

  Copy full SHA for 486f412

• Fixes to allow for generic transparent type devfinitions

  odersky

  committed
  55bac27

  Copy full SHA for 55bac27

• Make Apply a Term- or Type-Tree

  Show description for 6be4781
  odersky

  committed
  6be4781

  Copy full SHA for 6be4781

• Make hole reading context-independent

  Show description for ca30494
  odersky

  committed
  ca30494

  Copy full SHA for ca30494

Commits on Jun 30, 2018

• Tasty: Have a tpt form for Apply as well as TypeApply

  Show description for bc73cd1
  odersky

  committed
  bc73cd1

  Copy full SHA for bc73cd1

• Drop AppliedTypeTree

  Show description for 96c1d22
  odersky

  committed
  96c1d22

  Copy full SHA for 96c1d22

• Adapt Namer.checkFlags to type defdefs

  Show description for 9a545e5
  odersky

  committed
  9a545e5

  Copy full SHA for 9a545e5

Commits on Jul 1, 2018

• Make `toLambda` not force too much

  Show description for 85945b0
  odersky

  committed
  85945b0

  Copy full SHA for 85945b0

• Handle HKTermLambdas in TypeComparer

  odersky

  committed
  703edea

  Copy full SHA for 703edea

• Handle HKTermLambdas in Printer

  odersky

  committed
  e965128

  Copy full SHA for e965128

• Handle HKTermLambdas in Tasty and TastyImpl

  odersky

  committed
  ff14afa

  Copy full SHA for ff14afa

• Disallow curried type methods

  Show description for cf82715
  odersky

  committed
  cf82715

  Copy full SHA for cf82715

• Fix printing of method types

  odersky

  committed
  6e43b8a

  Copy full SHA for 6e43b8a