Type the User uri
authorSiraaj Khandkar <siraaj@khandkar.net>
Mon, 29 Nov 2021 15:05:57 +0000 (10:05 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Mon, 29 Nov 2021 15:05:57 +0000 (10:05 -0500)
tt.rkt

diff --git a/tt.rkt b/tt.rkt
index c29fabb..fcaf8ce 100644 (file)
--- a/tt.rkt
+++ b/tt.rkt
@@ -28,7 +28,7 @@
               (cons 'error β))))
 
 (struct User
-  ([uri  : String]
+  ([uri  : Url]
    [nick : (Option String)]))
 
 (struct User-Agent
 
 (: user-default User)
 (define user-default
-  (User "https://github.com/xandkar/tt" #f))
+  (User (string->url "https://github.com/xandkar/tt") #f))
 
 (: user->str (-> User String))
 (define (user->str user)
-  (match-define (User u n) user)
+  (match-define (User u0 n) user)
+  (define u (url->string u0))
   (if n
     (format "+~a; @~a" u n)
     (format "+~a"      u  )))
           user-default)
         user-default)))
 
+(: peer->user (-> Peer User))
 (define (peer->user p)
-  (match-define (Peer n _ u _) p)
+  (match-define (Peer n u _ _) p)
   (User u n))
 
 (: peers-equal? (-> Peer Peer Boolean))
This page took 0.038345 seconds and 4 git commands to generate.