From 008d440d5ff36dc62e1c6a366752cfc49e87461e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 21 Feb 2013 21:44:41 +0100 Subject: Misc fixes to typed trees, flags, and elsewhere. --- src/dotty/tools/dotc/core/SymDenotations.scala | 6 ++++++ 1 file changed, 6 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 2bafb7732..9299e7e63 100644 --- a/src/dotty/tools/dotc/core/SymDenotations.scala +++ b/src/dotty/tools/dotc/core/SymDenotations.scala @@ -169,6 +169,12 @@ object SymDenotations { /** Is this symbol an abstract type? */ def isAbstractType = isType && info.isRealTypeBounds + /** Is this symbol an alias type? */ + def isAliasType = isType && info.isAliasTypeBounds + + /** Is this symbol an abstract or alias type? */ + def isAbstractOrAliasType = isType & info.isInstanceOf[TypeBounds] + /** Is this definition contained in `boundary`? * Same as `ownersIterator contains boundary` but more efficient. */ -- cgit v1.2.3