From 078b16d67bb6281313fb55f9a2abe13200271add Mon Sep 17 00:00:00 2001
From: Florian Angerer <florian.angerer@oracle.com>
Date: Thu, 17 Aug 2017 17:46:42 +0200
Subject: [PATCH] Fix: Added missing case for seed object.

---
 .../src/com/oracle/truffle/r/runtime/rng/RRNG.java        | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/rng/RRNG.java b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/rng/RRNG.java
index 1b8d000143..e4388adb82 100644
--- a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/rng/RRNG.java
+++ b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/rng/RRNG.java
@@ -383,6 +383,12 @@ public class RRNG {
                     // no change of the .Random.seed variable
                     return;
                 }
+            } else if (seedsObj instanceof int[]) {
+                seeds = (int[]) seedsObj;
+                if (seeds == currentGenerator().getSeeds()) {
+                    // no change of the .Random.seed variable
+                    return;
+                }
             } else {
                 // seedsObj is not valid, which should have been reported and fixed in getRNGKind
                 return;
@@ -408,7 +414,5 @@ public class RRNG {
         int[] seeds = currentGenerator().getSeeds();
         seeds[0] = currentKind().ordinal() + 100 * currentNormKind().ordinal();
         RContext.getInstance().stateRNG.currentSeeds = seeds;
-// RIntVector vector = RDataFactory.createIntVector(seeds, RDataFactory.INCOMPLETE_VECTOR);
-// REnvironment.globalEnv().safePut(RANDOM_SEED, vector.makeSharedPermanent());
     }
 }
-- 
GitLab