From a313b99999ed1221beecd1ab92436665561697dc Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 17 Jun 2008 12:57:29 -0400 Subject: [PATCH] Add handling of dotted functions when not wrapped with a big lambda. original commit: 1bef5f9d0b7af964d904575dc6976d132ba76b5c --- collects/typed-scheme/private/type-effect-convenience.ss | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/private/type-effect-convenience.ss b/collects/typed-scheme/private/type-effect-convenience.ss index 2ceb2f13..b18e8bd1 100644 --- a/collects/typed-scheme/private/type-effect-convenience.ss +++ b/collects/typed-scheme/private/type-effect-convenience.ss @@ -164,9 +164,10 @@ (define -Sexp (-mu x (*Un Sym N B -String (-val null) (-pair x x)))) (define -Port (*Un -Input-Port -Output-Port)) -(define (-lst* . args) (if (null? args) - (-val null) - (-pair (car args) (apply -lst* (cdr args))))) +(define (-lst* #:tail [tail (-val null)] . args) + (if (null? args) + tail + (-pair (car args) (apply -lst* #:tail tail (cdr args))))) #;(define NE (-mu x (Un N (make-Listof x))))