From f4bd6d42857f41ce3a611a45ac0c5d29d615b048 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 21 Apr 2010 15:07:53 -0400 Subject: [PATCH] typecheck-tests compiles original commit: a979bbdbdfbda13d499533d59f6c304575cfb5a1 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 14a0bd85..6eb25d59 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -12,7 +12,6 @@ (rename-in (types utils union convenience abbrev) [Un t:Un] [true-lfilter -true-lfilter] -pecheck-tests.ss [true-filter -true-filter] [-> t:->]) (utils tc-utils utils) @@ -485,8 +484,8 @@ pecheck-tests.ss [tc-e/t (let* ([z 1] [p? (lambda: ([x : Any]) (number? z))]) (lambda: ([x : Any]) (if (p? x) x 12))) - (t:-> Univ Univ : (-LFS (list (-not-filter (-val #f))) (list (-filter (-val #f)))) : (make-LPath null 0))] -; (make-pred-ty Univ Univ (-val #f) 0 null)] + ;(t:-> Univ Univ : (-FS (list (-not-filter (-val #f))) (list (-filter (-val #f)))) : (make-Path null 0))] + (make-pred-ty Univ Univ (-val #f) 0 null)] [tc-e/t (let* ([z (ann 1 : Any)] [p? (lambda: ([x : Any]) (not (number? z)))]) (lambda: ([x : Any]) (if (p? x) x 12)))