From 37cf9efe509b0bac4fb6bda01b7126e7511e43f0 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 26 Mar 2014 19:15:40 +0100 Subject: Erasure phase PoC Still missing: bridge method generation, signatures. Other changes - Turned around Checking and NoChecking. Checking is the default, NoChecking disables it. - Refactored Typer#typed to expose typedNamed, so that it can be overridden in erasure. - Made logging more forgiving wrt off-buy-one phase errors. Conflicts: src/dotty/tools/dotc/typer/Typer.scala --- src/dotty/tools/dotc/core/SymDenotations.scala | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/dotty/tools/dotc/core/SymDenotations.scala') diff --git a/src/dotty/tools/dotc/core/SymDenotations.scala b/src/dotty/tools/dotc/core/SymDenotations.scala index b5c7ea539..f07eaa2be 100644 --- a/src/dotty/tools/dotc/core/SymDenotations.scala +++ b/src/dotty/tools/dotc/core/SymDenotations.scala @@ -1214,6 +1214,10 @@ object SymDenotations { val cname = if (this is ImplClass) nme.IMPLCLASS_CONSTRUCTOR else nme.CONSTRUCTOR decls.denotsNamed(cname).first.symbol } + + def underlyingOfValueClass: Type = ??? + + def valueClassUnbox: Symbol = ??? } /** The denotation of a package class. -- cgit v1.2.3