From e81cdba69f7e8d244ae032e267c3335f9d709f36 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 12 May 2010 11:52:43 -0400 Subject: [PATCH] Don't use raw union constructor. --- collects/typed-scheme/types/convenience.rkt | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/collects/typed-scheme/types/convenience.rkt b/collects/typed-scheme/types/convenience.rkt index 75435d449f..fc79452296 100644 --- a/collects/typed-scheme/types/convenience.rkt +++ b/collects/typed-scheme/types/convenience.rkt @@ -43,16 +43,15 @@ [_ (exit t)])))) -;; DO NOT USE if t contains #f (define (-opt t) (Un (-val #f) t)) (define In-Syntax (-mu e - (*Un (-val null) -Boolean -Symbol -String -Keyword -Char -Number - (make-Vector (-Syntax e)) - (make-Box (-Syntax e)) - (-lst (-Syntax e)) - (-pair (-Syntax e) (-Syntax e))))) + (Un (-val null) -Boolean -Symbol -String -Keyword -Char -Number + (make-Vector (-Syntax e)) + (make-Box (-Syntax e)) + (-lst (-Syntax e)) + (-pair (-Syntax e) (-Syntax e))))) (define Any-Syntax (-Syntax In-Syntax))