String library updated

alcides · Feb 23, 2024 · 12146cf · 12146cf
1 parent e78cf17
commit 12146cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libraries/String.ae b/libraries/String.ae
@@ -16,6 +16,6 @@ def String_lower : (i:String)  ->  String = native "lambda i: i.lower()" ;
 
 def String_replace : (i:String) -> (j:String) -> (l:String)-> String = native "lambda i: lambda j: lambda l: i.replace(j, l)";
 
-# def String_split : (i:String) -> (j:String) ->  List[String] = native "lambda i: lambda j: i.split(j)" ;
+def String_split : (i:String) -> (j:String) ->  List = native "lambda i: lambda j: i.split(j)" ;
 
 def String_concat : (i:String) -> (j:String) -> String = native "lambda i: lambda j: i + j";