Code

Tune precedence of type operators#4920

Code

Closed

Blaisorblade wants to merge 11 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:type-op-precedencedotty-staging/dotty:type-op-precedenceCopy head branch name to clipboard

Commits

Commits on Aug 9, 2018

• Seal Texts.Text

  Blaisorblade

  committed
  586527d

  Copy full SHA for 586527d

• Bugfix: missing return

  Blaisorblade

  committed
  dac4265

  Copy full SHA for dac4265

• Refactor argText

  Show description for df2189b
  Blaisorblade

  committed
  df2189b

  Copy full SHA for df2189b

• Fix #4068: Fix pretty-printing precedence for function types

  Show description for 8d8dfff
  Blaisorblade

  committed
  8d8dfff

  Copy full SHA for 8d8dfff

• Refactor: distinguish type- and term- level priority

  Show description for 3257bfb
  Blaisorblade

  committed
  3257bfb

  Copy full SHA for 3257bfb

• Treat & and | as *left*-associative

  Show description for a87418b
  Blaisorblade

  committed
  a87418b

  Copy full SHA for a87418b

• Use precedence levels properly when printing infix types

  Show description for 500a9e5
  Blaisorblade

  committed
  500a9e5

  Copy full SHA for 500a9e5

• Handle associativity mismatches for type operator in pretty-printer

  Show description for 6e8dfb4
  Blaisorblade

  committed
  6e8dfb4

  Copy full SHA for 6e8dfb4

• Use typeSymbol not classSymbol

  Show description for 5e01496
  Blaisorblade

  committed
  5e01496

  Copy full SHA for 5e01496

• Use same priority for type operators, as mandated by the spec

  Blaisorblade

  committed
  4505ebe

  Copy full SHA for 4505ebe

• Give special precedence to & and | type operators

  Show description for cfaa740
  Blaisorblade

  committed
  cfaa740

  Copy full SHA for cfaa740