Move URI examples to tests

Author: marzipankaiser

examples/stdlib/io/uri.check

@@ -0,0 +1,35 @@
+/  !
+Hallo Welt!/&^$@^*(&$)(*!_!_+")
+Hallo%20Welt%21%2F%26^%24%40^%2A%28%26%24%29%28%2A%21_%21_%2B"%29
+Hallo Welt!/&^$@^*(&$)(*!_!_+")
+Hallo%20Welt%21%2F%26%5E%24%40%5E%2A%28%26%24%29%28%2A%21_%21_%2B%22%29
+ftp://ftp.is.co.za/rfc/rfc1808.txt
+  Scheme: ftp
+  Host: ftp.is.co.za
+  Path: /rfc/rfc1808.txt
+http://www.ietf.org/rfc/rfc2396.txt
+  Scheme: http
+  Host: www.ietf.org
+  Path: /rfc/rfc2396.txt
+ldap://[2001:db8::7]/c=GB?objectClass?one
+  Scheme: ldap
+  Host: [2001:db8::7]
+  Path: /c=GB
+  Query: objectClass?one
+mailto:[email protected]
+  Scheme: mailto
+  Path: [email protected]
+news:comp.infosystems.www.servers.unix
+  Scheme: news
+  Path: comp.infosystems.www.servers.unix
+tel:+1-816-555-1212
+  Scheme: tel
+  Path: +1-816-555-1212
+telnet://192.0.2.16:80/
+  Scheme: telnet
+  Host: 192.0.2.16
+  Port: 80
+  Path: /
+urn:oasis:names:specification:docbook:dtd:xml:4.1
+  Scheme: urn
+  Path: oasis:names:specification:docbook:dtd:xml:4.1

examples/stdlib/io/uri.effekt

@@ -0,0 +1,32 @@
+import io/uri
+
+def report(uri: String): Unit = {
+  with on[WrongFormat].panic
+  println(uri)
+  try parseURI(uri) with URIBuilder {
+    def scheme(s) = resume(println("  Scheme: " ++ s))
+    def userinfo(u) = resume(println("  Userinfo: " ++ u))
+    def host(h) = resume(println("  Host: " ++ h))
+    def path(p) = resume(println("  Path: " ++ p))
+    def port(p) = resume(println("  Port: " ++ p.show))
+    def query(q) = resume(println("  Query: " ++ q))
+    def fragment(q) = resume(println("  Fragment: " ++ q))
+  }
+}
+def main() = {
+  println(urldecode("%2F%20%20!"))
+  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")
+  report("http://www.ietf.org/rfc/rfc2396.txt")
+  report("ldap://[2001:db8::7]/c=GB?objectClass?one")
+  report("mailto:[email protected]")
+  report("news:comp.infosystems.www.servers.unix")
+  report("tel:+1-816-555-1212")
+  report("telnet://192.0.2.16:80/")
+  report("urn:oasis:names:specification:docbook:dtd:xml:4.1")
+}

libraries/common/io/uri.effekt

@@ -215,37 +215,4 @@ def parseURI(uri: String): Unit / { URIBuilder, Exception[WrongFormat] } = {
   } with stop { () =>
     do raise(WrongFormat(), "Could not parse URI")
   }
-}
-
-namespace example {
-  def report(uri: String): Unit = {
-    with on[WrongFormat].panic
-    println(uri)
-    try parseURI(uri) with URIBuilder {
-      def scheme(s) = resume(println("  Scheme: " ++ s))
-      def userinfo(u) = resume(println("  Userinfo: " ++ u))
-      def host(h) = resume(println("  Host: " ++ h))
-      def path(p) = resume(println("  Path: " ++ p))
-      def port(p) = resume(println("  Port: " ++ p.show))
-      def query(q) = resume(println("  Query: " ++ q))
-      def fragment(q) = resume(println("  Fragment: " ++ q))
-    }
-  }
-  def main() = {
-    println(urldecode("%2F%20%20!"))
-    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")
-    report("http://www.ietf.org/rfc/rfc2396.txt")
-    report("ldap://[2001:db8::7]/c=GB?objectClass?one")
-    report("mailto:[email protected]")
-    report("news:comp.infosystems.www.servers.unix")
-    report("tel:+1-816-555-1212")
-    report("telnet://192.0.2.16:80/")
-    report("urn:oasis:names:specification:docbook:dtd:xml:4.1")
-  }
 }