From bf6c92ac3feb1de7a706e09c1669fa5ae7f8dcfe Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Wed, 8 Jul 2009 09:30:42 +0000
Subject: [PATCH] Fixed compilation problem when calling getClass method in
Definitions.scala, need to prefix the call with the "definitions" object.
---
src/funcheck/scalacheck/ScalaCheck.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/funcheck/scalacheck/ScalaCheck.scala b/src/funcheck/scalacheck/ScalaCheck.scala
index 3251de8db..fac7ef110 100644
--- a/src/funcheck/scalacheck/ScalaCheck.scala
+++ b/src/funcheck/scalacheck/ScalaCheck.scala
@@ -334,8 +334,8 @@ trait ScalaCheck extends FreshNameCreator {
tpe2arbApp += StringClass.typeConstructor -> arbString
tpe2arbApp += OptionClass.typeConstructor -> arbOption
- lazy val ImmutableMapClass: Symbol = getClass("scala.collection.immutable.Map")
- lazy val ImmutableSetClass: Symbol = getClass("scala.collection.immutable.Set")
+ lazy val ImmutableMapClass: Symbol = definitions.getClass(newTypeName("scala.collection.immutable.Map"))
+ lazy val ImmutableSetClass: Symbol = definitions.getClass(newTypeName("scala.collection.immutable.Set"))
tpe2arbApp += ImmutableMapClass.typeConstructor -> arbImmutableMap
tpe2arbApp += ListClass.typeConstructor -> arbList
--
GitLab