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 =