From 44874193c2c413ec4c13ace7e8569d6063c0af7e Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 22 Jun 2010 17:48:32 +0000
Subject: [PATCH]
---
src/purescala/Extensions.scala | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/purescala/Extensions.scala b/src/purescala/Extensions.scala
index 1ba2efa3f..042b3c964 100644
--- a/src/purescala/Extensions.scala
+++ b/src/purescala/Extensions.scala
@@ -20,15 +20,14 @@ object Extensions {
def analyse(program: Program) : Unit
}
- // the following is for dynamically loading extensions
- type AnyClass = Class[_]
+ // The rest of the code is for dynamically loading extensions
def loadAll(reporter: Reporter) : Seq[Extension] = {
val allNames: Seq[String] = Settings.extensionNames.split(':').map(_.trim).filter(!_.isEmpty)
if(!allNames.isEmpty) {
val classLoader = Extensions.getClass.getClassLoader
- val classes: Seq[AnyClass] = (for(name <- allNames) yield {
+ val classes: Seq[Class[_]] = (for(name <- allNames) yield {
try {
classLoader.loadClass(name)
} catch {
--
GitLab