From 8ab5055ed505abf74f36b83e4f74e7ee69a4c018 Mon Sep 17 00:00:00 2001 From: Mirco Dotta <mirco.dotta@gmail.com> Date: Mon, 6 Jul 2009 08:25:20 +0000 Subject: [PATCH] removed (unnecessary) commented code --- .../scalacheck/GeneratorDefDefInjector.scala | 55 +------------------ 1 file changed, 1 insertion(+), 54 deletions(-) diff --git a/src/funcheck/scalacheck/GeneratorDefDefInjector.scala b/src/funcheck/scalacheck/GeneratorDefDefInjector.scala index 9d4ed55c5..c10b26a4d 100644 --- a/src/funcheck/scalacheck/GeneratorDefDefInjector.scala +++ b/src/funcheck/scalacheck/GeneratorDefDefInjector.scala @@ -30,57 +30,4 @@ trait GeneratorDefDefInjector extends TypingTransformers { } } - -// val cdSym = c.symbol -// if(cdSym.hasFlag(ABSTRACT)) { -// DefGenerator.addAbstr(c) -// println(cdSym.children) -// } -// else { -// val Template(_, _, body) = impl -// for { b <- body } b match { -// case d @ DefDef(_, nme.CONSTRUCTOR, _, _, _, _) => -// DefGenerator.addDef(d) -// case _ => ; -// } -// } - - - - // lazy val specsModule: Symbol = definitions.getModule("funcheck.lib.Specs") - //val neededGenerators = scala.collection.mutable.Set.empty[Symbol] - - - /*********************************************************************************/ -// private def isForall(s: Select): Boolean = { -// val Select(selector,_) = s -// -// selector.symbol == specsModule && -// s.symbol == specsModule.tpe.decl("forAll") -// } -// -// -// /*********************************************************************************/ -// def collectProperties(Unit: CompilationUnit)(tree: Tree): Unit = tree match { -// case TypeApply( s: Select, tpes: List[Tree]) => -// if(isForall(s)) { -// for { treeTpe <- tpes } treeTpe.tpe match { -// case TypeRef(_, _, args: List[Type]) => -// for {arg <- args} arg match { -// case TypeRef(_,sym,_) => { -// //generators are needed only for user-defined types (assuming Pure Scala as input language) -// if (!definitions.isValueClass(sym)) -// neededGenerators += sym -// } -// case _ => error("Don't know what to do with "+ arg) -// } -// case _ => error("don't know what to do with " + treeTpe + " with associated symbol: "+treeTpe.symbol) -// } -// //println(neededGenerators) -// } -// -// case _ => -// } - - - + \ No newline at end of file -- GitLab