Code

Context receivers#87

Code

Draft

belyaev-mikhail wants to merge 12 commits intodevelopKotlin/kotlin-spec:developfrom context-receiversKotlin/kotlin-spec:context-receiversCopy head branch name to clipboard

+219-107

Commits

Commits on Aug 17, 2021

• Context receivers grammar changes sketch

  belyaev-mikhail

  committed
  4bb3c66

  Copy full SHA for 4bb3c66

• Fix bug in new grammar

  belyaev-mikhail

  committed
  f701694

  Copy full SHA for f701694

• Function type contexts

  belyaev-mikhail

  committed
  5eff97e

  Copy full SHA for 5eff97e

• Functional types with context receivers sketch

  belyaev-mikhail

  committed
  49b5381

  Copy full SHA for 49b5381

• A better try at writing type system

  belyaev-mikhail

  committed
  97e14c7

  Copy full SHA for 97e14c7

• Contextual function declarations

  belyaev-mikhail

  committed
  45adb93

  Copy full SHA for 45adb93

• Contextual function declarations

  belyaev-mikhail

  committed
  1f9904f

  Copy full SHA for 1f9904f

• Some math adjustments

  belyaev-mikhail

  committed
  dc2d292

  Copy full SHA for dc2d292

• Draft of context receivers in overload resolution

  

  ice-phoenix

  authored and

  belyaev-mikhail

  committed
  bd8a695

  Copy full SHA for bd8a695

• Contextual property declaration sketch

  belyaev-mikhail

  committed
  fd71154

  Copy full SHA for fd71154

• Minor fixes for the context receiver overload resolution draft

  

  ice-phoenix

  authored and

  belyaev-mikhail

  committed
  d5fc464

  Copy full SHA for d5fc464

• More minor fixes for the context receiver overload resolution draft

  

  ice-phoenix

  authored and

  belyaev-mikhail

  committed
  39e7b45

  Copy full SHA for 39e7b45