New method: deleteEnterFromString()

perezzini · Nov 28, 2017 · 8662b39 · 8662b39
1 parent e7782f3
commit 8662b39
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/utils.sig b/utils.sig
@@ -21,4 +21,7 @@ sig
 
 	(* Converts a Splaymap dict to string *)
 	val dictToString : ('a, 'b) Splaymap.dict -> ('a -> string) -> ('b -> string) -> string
+
+	(* Deletes last enter from a string *)
+	val deleteEnterFromString : string -> string
 end
diff --git a/utils.sml b/utils.sml
@@ -63,4 +63,8 @@ struct
 				pairToString pair aToString bToString)
 		end
 
+	fun deleteEnterFromString str =
+		String.substring(str, 0, (String.size str) - 1)
+			handle Subscript => raise Fail "Error - deleteEnterFromString()"
+
 end