From d1f809f14cad2c14c312767d71361c7f2e7d8244 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 29 Jun 2016 19:59:16 +0200 Subject: Remove old hk scheme - Simplify RefinedType - Drop recursive definition of RefinedThis - this is now taken over by RecType. - Drop RefinedThis. - Simplify typeParams The logic avoiding forcing is no longer needed. - Remove unused code and out of date comments. --- src/dotty/tools/dotc/core/NameOps.scala | 8 -------- 1 file changed, 8 deletions(-) (limited to 'src/dotty/tools/dotc/core/NameOps.scala') diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala index 1f221b5c8..b5704480a 100644 --- a/src/dotty/tools/dotc/core/NameOps.scala +++ b/src/dotty/tools/dotc/core/NameOps.scala @@ -116,14 +116,6 @@ object NameOps { def hkArgIndex: Int = name.drop(tpnme.hkArgPrefixLength).toString.toInt - def isLambdaTraitNameOBS(implicit ctx: Context): Boolean = - name.isTypeName && name.startsWith(tpnme.hkLambdaPrefixOBS) - - def lambdaTraitVariancesOBS(implicit ctx: Context): List[Int] = { - val vs = name.drop(tpnme.hkLambdaPrefixOBS.length) - vs.toList.map(c => tpnme.varianceSuffixesOBS.indexOf(c) - 1) - } - /** If the name ends with $nn where nn are * all digits, strip the $ and the digits. * Otherwise return the argument. -- cgit v1.2.3