From 678a82f266c930957787cabbd8ddd9f6d7d4d55e Mon Sep 17 00:00:00 2001
From: Alex Shinn <ashinn@users.noreply.github.com>
Date: Mon, 2 Aug 2010 08:49:13 +0900
Subject: [PATCH] removing type-of from type-inference module

---
 lib/chibi/type-inference.scm | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/lib/chibi/type-inference.scm b/lib/chibi/type-inference.scm
index 137cc251..6b21a230 100644
--- a/lib/chibi/type-inference.scm
+++ b/lib/chibi/type-inference.scm
@@ -65,17 +65,6 @@
         (cons (car a) (lset-adjoin equal? (cdr a) b))))
    (else (list 'and a b))))
 
-(define (type-of x)
-  (cond ((boolean? x) <boolean>)
-        ((char? x) <char>)
-        ((symbol? x) <symbol>)
-        ((string? x) <string>)
-        ((and (integer? x) (exact? x)) <integer>)
-        ((flonum? x) <flonum>)
-        ((pair? x) <pair>)
-        ((vector? x) <vector>)
-        (else <object>)))
-
 (define (lambda-param-types-initialize! f)
   (lambda-param-types-set! f (map (lambda (p) (list 'param-type f p))
                                   (lambda-params f))))