From 3ad0457bd5a34f00dd1742866add31e53c039e1a Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Thu, 30 May 2019 10:09:34 -0400
Subject: [PATCH] small cleanup

---
 racket/typed/proto.rkt | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/racket/typed/proto.rkt b/racket/typed/proto.rkt
index 31bc715..8b8f020 100644
--- a/racket/typed/proto.rkt
+++ b/racket/typed/proto.rkt
@@ -773,12 +773,8 @@
      (match (list τ1 τ2)
        [(list _ (== ⋆))
         #t]
-       [(list (== Int) (== Int))
-        #t]
-       [(list (== String) (== String))
-        #t]
-       [(list (== Bool) (== Bool))
-        #t]
+       [(list (Base t1) (Base t2))
+        (equal? t1 t2)]
        [(list (U τs) _)
         (for/and ([τ (in-list τs)])
           (<:? τ τ2))]
@@ -1078,9 +1074,8 @@
   ;; τ -> String
   (define (τ->string τ)
     (match τ
-      [(== Int) "Int"]
-      [(== String) "String"]
-      [(== Bool) "Bool"]
+      [(Base name)
+       (symbol->string name)]
       [(== ⋆) "⋆"]
       [(Observe τ2)
        (string-append "?" (τ->string τ2))]