Code

Fix GADT-related memory leak#3233

Code

Merged

smarter merged 5 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-gadtsdotty-staging/dotty:fix-gadtsCopy head branch name to clipboard

Oct 4, 2017

Commits

Commits on Oct 4, 2017

• Fix GADT-related memory leak

  Show description for eb21d24
  odersky

  committed
  eb21d24

  Copy full SHA for eb21d24

• Add @sharable annotation

  odersky

  committed
  dbe64c1

  Copy full SHA for dbe64c1

• Allow bench task to pause between runs

  Show description for 3be3bea
  odersky

  committed
  3be3bea

  Copy full SHA for 3be3bea

• Clear useCount map after runs.

  odersky

  committed
  318cec3

  Copy full SHA for 318cec3

• Address reviewer comments

  odersky

  committed
  cf15ca2

  Copy full SHA for cf15ca2