Make strict urlencode the default

Author: marzipankaiser

examples/stdlib/io/uri.effekt

@@ -15,10 +15,10 @@ def report(uri: String): Unit = {
 }
 def main() = {
   println(urldecode("%2F%20%20!"))
+  println(urldecode(urlencodePermissive("Hallo Welt!/&^$@^*(&$)(*!_!_+\")")))
+  println(urlencodePermissive("Hallo Welt!/&^$@^*(&$)(*!_!_+\")"))
   println(urldecode(urlencode("Hallo Welt!/&^$@^*(&$)(*!_!_+\")")))
   println(urlencode("Hallo Welt!/&^$@^*(&$)(*!_!_+\")"))
-  println(urldecode(urlencodeStrict("Hallo Welt!/&^$@^*(&$)(*!_!_+\")")))
-  println(urlencodeStrict("Hallo Welt!/&^$@^*(&$)(*!_!_+\")"))
 
   // examples from the spec
   report("ftp://ftp.is.co.za/rfc/rfc1808.txt")

libraries/common/io/uri.effekt

@@ -53,7 +53,7 @@ def isSubDelim(c: Char): Bool = c match {
 }
 
 /// Encodes the string for urls using %-escapes
-def urlencode(s: String): String = urlencode(s){
+def urlencodePermissive(s: String): String = urlencode(s){
   case '%' => true
   case ' ' => true
   case c and c.isGenDelim || c.isSubDelim => true
@@ -73,7 +73,7 @@ def isUnreserved(c: Char): Bool = c match {
 /// Encodes the string for urls using %-escapes,
 /// escaping everything that is not an unreserved character
 /// as per RFC 3986.
-def urlencodeStrict(s: String): String =
+def urlencode(s: String): String =
   urlencode(s){ c => not(c.isUnreserved) }