82b6a5a4fc8d — Chris Cannam 6 months ago
Add SV
2 files changed, 2 insertions(+), 0 deletions(-)

M string-interpolate.sig
M string-interpolate.sml
M string-interpolate.sig +1 -0
@@ 44,6 44,7 @@ signature STRING_INTERPOLATE = sig
     val B : bool -> string
     val S : string -> string
     val SL : string list -> string
+    val SV : string vector -> string
     val RV : RealVector.vector -> string
     val RA : RealArray.array -> string
     val NV : RealVector.vector -> string

          
M string-interpolate.sml +1 -0
@@ 44,6 44,7 @@ structure StringInterpolate : STRING_INT
     fun B b = if b then "true" else "false"
     fun S s = s
     val SL = String.concatWith "\n"
+    fun SV v = "[" ^ String.concatWith "," (Vector.foldr (op::) [] v) ^ "]"
     val X = exnMessage
 
     fun replaceNegative s =