diff options
-rw-r--r-- | sources/scala/Predef.scala | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/sources/scala/Predef.scala b/sources/scala/Predef.scala index 698cb1fa7e..6626c91189 100644 --- a/sources/scala/Predef.scala +++ b/sources/scala/Predef.scala @@ -12,15 +12,33 @@ object Predef { type boolean = scala.Boolean; type unit = scala.Unit; - def List[a](x: a*): List[a] = x as List[a]; + def List[A](x: A*): List[A] = x as List[A]; val List = scala.List; - def Set[a](es: a*): Set[a] = { - val set = new HashSet[a]; + def Set[A](es: A*): Set[A] = { + val set = new HashSet[A]; set.addSet(es); set; } + def ListSet[A](es: A*): Set[A] = { + val set = new ListSet[A]; + set.addSet(es); + set; + } + + def HashSet[A](es: A*): Set[A] = { + val set = new HashSet[A]; + set.addSet(es); + set; + } + + def Map[A, B](mappings: Pair[A, B]*): Map[A, B] = { + val map = new HashMap[A, B]; + map.putMap(mappings); + map; + } + def error(x: String): All = new java.lang.RuntimeException(x).throw; def try[a](def block: a): Except[a] = |