diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-06-10 11:52:04 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-06-10 11:52:04 +0100 |
| commit | 2cefa82d059dfd16d224b16f92fd69104beb24a2 (patch) | |
| tree | 17379341465e719747c0d230778b3624cc233dc3 /src/main/java/org/shedlang/compiler/util | |
| parent | d1d9c3800ab56b3c825f72e3e997b0521cfac9ce (diff) | |
Compile calls to stack instructions
Diffstat (limited to 'src/main/java/org/shedlang/compiler/util')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/util/P.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/util/P.java b/src/main/java/org/shedlang/compiler/util/P.java index 7ce8232c..a09d7940 100644 --- a/src/main/java/org/shedlang/compiler/util/P.java +++ b/src/main/java/org/shedlang/compiler/util/P.java @@ -2,7 +2,10 @@ package org.shedlang.compiler.util; import org.pcollections.HashTreePMap; import org.pcollections.PMap; +import org.pcollections.PVector; +import org.pcollections.TreePVector; +import java.util.Arrays; import java.util.Map; public class P { @@ -17,4 +20,9 @@ public class P { } return map; } + + @SafeVarargs + public static <T> PVector<T> vector(T... values) { + return TreePVector.from(Arrays.asList(values)); + } } |
