From 4ec8076d0d6d78bb5329f228661bb0445dc28bd6 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 11 Jun 2008 17:16:40 -0400 Subject: [PATCH] Fix case-lambda type printing. Begin work on handling case-lambda/varargs in ... inference. Implement hash-union, and use to fix big bugs. original commit: 457339d9a8876422153af0731d83bc93fdcc993a --- collects/typed-scheme/private/type-effect-printer.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/type-effect-printer.ss b/collects/typed-scheme/private/type-effect-printer.ss index afe034df..e7554d22 100644 --- a/collects/typed-scheme/private/type-effect-printer.ss +++ b/collects/typed-scheme/private/type-effect-printer.ss @@ -97,7 +97,12 @@ (match arities [(list) (fp "(case-lambda)")] [(list a) (print-arr a)] - [(list a ...) (fp "(case-lambda ") (for-each print-arr a) (fp ")")]))] + [(list a b ...) (fp "(case-lambda ") + (print-arr a) + (for-each + (lambda (e) (fp " ") (print-arr e)) + b) + (fp ")")]))] [(arr: _ _ _ _ _ _) (print-arr c)] [(Vector: e) (fp "(Vectorof ~a)" e)] [(Box: e) (fp "(Box ~a)" e)]