From aa1363cb9e1063b2a65ee26ef423e89aa7f6e157 Mon Sep 17 00:00:00 2001 From: Alex Shinn Date: Mon, 7 Nov 2011 01:01:50 +0900 Subject: [PATCH] updating type names --- lib/chibi/type-inference.scm | 2 +- lib/chibi/type-inference.sld | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/lib/chibi/type-inference.scm b/lib/chibi/type-inference.scm index c5931111..bfeb7a25 100644 --- a/lib/chibi/type-inference.scm +++ b/lib/chibi/type-inference.scm @@ -148,7 +148,7 @@ (not (type-subset? t p-type))) (display "WARNING: incompatible type: " (current-error-port)) - (write (list x t p-type) (current-error-port)) + (write/ss (list x t p-type) (current-error-port)) (newline (current-error-port)))) t)))) (lp (and (pair? p) (cdr p)) (cdr a))) diff --git a/lib/chibi/type-inference.sld b/lib/chibi/type-inference.sld index 3220d8d6..c5ace0d0 100644 --- a/lib/chibi/type-inference.sld +++ b/lib/chibi/type-inference.sld @@ -1,6 +1,7 @@ (define-library (chibi type-inference) (export type-analyze-module type-analyze procedure-signature) - (import (scheme) (srfi 1) (srfi 69) (chibi modules) (chibi ast) (chibi match)) + (import (scheme) (srfi 1) (srfi 38) (srfi 69) + (chibi modules) (chibi ast) (chibi match)) (include "type-inference.scm"))