From fab0282acb3287d7db607c39f75c1f0f0a0c933c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 9 Feb 2020 08:29:14 -0700 Subject: [PATCH] disable cptypes specialization of call-with-values, for now It's not clear whether there's something wrong with this case or whether it's exposing a more general problem, but disabling it for now allows a parallel Racket CS build to proceeed. original commit: 00f6733e573c068165abc4dbbdb46cdede9f778e --- s/cptypes.ss | 1 + s/primdata.ss | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/s/cptypes.ss b/s/cptypes.ss index dd304d6e5b..748ed59e22 100644 --- a/s/cptypes.ss +++ b/s/cptypes.ss @@ -931,6 +931,7 @@ Notes: [else (values `(call ,preinfo ,pr ,n) ret ntypes #f #f)]))]) + #; (define-specialize/unrestricted 2 call-with-values [(e1 e2) (let-values ([(e1 ret1 types1 t-types1 f-types1) (Expr/call e1 'value oldtypes oldtypes)]) diff --git a/s/primdata.ss b/s/primdata.ss index 5fbc2c7511..f645b9bde0 100644 --- a/s/primdata.ss +++ b/s/primdata.ss @@ -341,7 +341,7 @@ (call-with-current-continuation [sig [(procedure) -> (ptr ...)]] [flags ieee r5rs]) (call/cc [sig [(procedure) -> (ptr ...)]] [flags]) (values [sig [(ptr ...) -> (ptr ...)]] [flags unrestricted discard cp02 ieee r5rs]) - (call-with-values [sig [(procedure procedure) -> (ptr ...)]] [flags cp02 cptypes2x ieee r5rs]) + (call-with-values [sig [(procedure procedure) -> (ptr ...)]] [flags cp02 #;cptypes2x ieee r5rs]) ((r6rs: dynamic-wind) [sig [(procedure procedure procedure) -> (ptr ...)]] [flags cptypes2x ieee r5rs]) ; restricted to 3 arguments )