fix: small changes

Author: algebraic-dev

src/Std/Internal/Http/Server/Connection.lean

@@ -53,7 +53,7 @@ private def receiveWithTimeout
   Async Recv := do
     Selectable.one #[
       .case (← ClientConnection.recvSelector socket expect) (fun x => pure <| .bytes x),
-      .case (← (← Sleep.mk timeoutMs).selector) (fun _ => pure <| .timeout)]
+      .case (← Selector.sleep timeoutMs) (fun _ => pure <| .timeout)]
 
 private def processNeedMoreData
   [ClientConnection α] (machine : Protocol.H1.Machine) (socket : α) (expect : Option Nat) :

tests/lean/run/async_http_uri_parser.lean

@@ -325,3 +325,11 @@ info: Std.Http.RequestTarget.authorityForm
 #eval show IO _ from do
   let result ← runParser Std.Http.Parser.parseRequestTarget "localhost:65535"
   IO.println (repr result)
+
+/--
+info: Std.Http.RequestTarget.originForm { segments := #[""], absolute := true } none none
+-/
+#guard_msgs in
+#eval show IO _ from do
+  let result ← runParser Std.Http.Parser.parseRequestTarget "/"
+  IO.println (repr result)