diff --git a/src/purescala/Extensions.scala b/src/purescala/Extensions.scala index 1ba2efa3fceca7c137265a290042e43797056a8a..042b3c964ee8357c08b5f0d095d752eca0adefe1 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 {