Code

Change is volatile#1051

Code

Merged

odersky merged 23 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-isVolatiledotty-staging/dotty:change-isVolatileCopy head branch name to clipboard

Feb 9, 2016

Commits

Commits on Feb 9, 2016

• No volatile check needed for strict vals.

  odersky

  committed
  633e2eb

  Copy full SHA for 633e2eb

• Use isRealizable to identify stable prefixes

  Show description for 41f0567
  odersky

  committed
  41f0567

  Copy full SHA for 41f0567

• Move scala2Mode test from isStable to isRealizable

  Show description for 1cc4d90
  odersky

  committed
  1cc4d90

  Copy full SHA for 1cc4d90

• Also consider type aliases when checking for realizability

  Show description for 1b7745e
  odersky

  committed
  1b7745e

  Copy full SHA for 1b7745e

• Realizability refactoring

  Show description for 7ccd02c
  odersky

  committed
  7ccd02c

  Copy full SHA for 7ccd02c

• Move realizability logic from Types to TypeOps.

  Show description for 322bcfe
  odersky

  committed
  322bcfe

  Copy full SHA for 322bcfe

• Cleanup of isEffectivelyFinal

  Show description for 44c14b3
  odersky

  committed
  44c14b3

  Copy full SHA for 44c14b3

• Reorganize tests to account for new typing of projection

  Show description for 9a6f82b
  odersky

  committed
  9a6f82b

  Copy full SHA for 9a6f82b

• Enforce rule that laziness is preserved when overriding.

  odersky

  committed
  5fd2028

  Copy full SHA for 5fd2028

• Only final lazy vals can be paths.

  Show description for 0480cb2
  odersky

  committed
  0480cb2

  Copy full SHA for 0480cb2

• Fix path error disgnastics

  Show description for e87dee2
  odersky

  committed
  e87dee2

  Copy full SHA for e87dee2

• Handle imports in path checks.

  Show description for a0fb068
  odersky

  committed
  a0fb068

  Copy full SHA for a0fb068

• Fix isRealizableTest

  Show description for 3637e08
  odersky

  committed
  3637e08

  Copy full SHA for 3637e08

• Check that non-abstract classes have realizable bounds.

  odersky

  committed
  defba2a

  Copy full SHA for defba2a

• Drop lines from test

  Show description for 1441622
  odersky

  committed
  1441622

  Copy full SHA for 1441622

• Remove isVolatile and DNF methods

  Show description for f44a1ed
  odersky

  committed
  f44a1ed

  Copy full SHA for f44a1ed

• Consider by name parameters as lazily initialized

  Show description for 20fc6bd
  odersky

  committed
  20fc6bd

  Copy full SHA for 20fc6bd

• Handle paths of length > 1 for realizability checking

  odersky

  committed
  d34256c

  Copy full SHA for d34256c

• Big realizability refactoring

  Show description for ec4a3a0
  odersky

  committed
  ec4a3a0

  Copy full SHA for ec4a3a0

• Perform typer realizability checks only during Typer.

  odersky

  committed
  eaa1578

  Copy full SHA for eaa1578

• New test files from SI 7278.

  odersky

  committed
  187c241

  Copy full SHA for 187c241

• By-name parameters are not stable values.

  odersky

  committed
  f6a5802

  Copy full SHA for f6a5802

• Fix commpilation error

  odersky

  committed
  1511cb4

  Copy full SHA for 1511cb4