From 70118d8ebe816ccb7214bea30f4c029400614041 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 3 Feb 2010 11:44:10 -0500 Subject: [PATCH] fix some contract errors original commit: 492cab22cbebcdfeed9a4bc467d147b4722308e9 --- collects/typed-scheme/types/union.ss | 2 ++ collects/typed-scheme/utils/utils.ss | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/union.ss b/collects/typed-scheme/types/union.ss index 5019cada..a78cbae0 100644 --- a/collects/typed-scheme/types/union.ss +++ b/collects/typed-scheme/types/union.ss @@ -19,6 +19,8 @@ (define (flat t) (match t [(Union: es) es] + [(Values: (list (Result: (Union: es) _ _))) es] + [(Values: (list (Result: t _ _))) (list t)] [_ (list t)])) (define (remove-subtypes ts) diff --git a/collects/typed-scheme/utils/utils.ss b/collects/typed-scheme/utils/utils.ss index 766ba3c2..8e3d6f73 100644 --- a/collects/typed-scheme/utils/utils.ss +++ b/collects/typed-scheme/utils/utils.ss @@ -160,7 +160,7 @@ at least theoretically. ;; turn contracts on and off - off by default for performance. -(define-for-syntax enable-contracts? #t) +(define-for-syntax enable-contracts? #f) (provide (for-syntax enable-contracts?) p/c w/c cnt d-s/c d/c) ;; these are versions of the contract forms conditionalized by `enable-contracts?'