From 54d5b0ac7f57d6b9c4bd4492f13e89b99a0088c0 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Mon, 18 Jan 2010 18:53:06 +0000 Subject: [PATCH] Updated predicate list in scheme/exists/lang based on contract library changes. svn: r17721 --- collects/scheme/exists/lang.ss | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/scheme/exists/lang.ss b/collects/scheme/exists/lang.ss index ec2c033c52..9c19ea2c13 100644 --- a/collects/scheme/exists/lang.ss +++ b/collects/scheme/exists/lang.ss @@ -25,6 +25,7 @@ '(absolute-path? arity-at-least? bitwise-bit-set? + blame? boolean? box? byte-pregexp? @@ -60,6 +61,8 @@ contract-first-order-passes? contract-stronger? contract? + contract-property? + contract-struct? custodian-box? custodian-memory-accounting-available? custodian? @@ -84,8 +87,8 @@ exact-positive-integer? exact? exn:break? - exn:fail:contract2? exn:fail:contract:arity? + exn:fail:contract:blame? exn:fail:contract:continuation? exn:fail:contract:divide-by-zero? exn:fail:contract:variable? @@ -111,7 +114,8 @@ file-stream-port? fixnum? flat-contract? - flat-pred? + flat-contract-property? + flat-contract-struct? generic? handle-evt? hash-eq? @@ -144,7 +148,6 @@ module-path? module-provide-protected? mpair? - name-pred? namespace-anchor? namespace? negative? @@ -176,7 +179,6 @@ procedure-closure-contents-eq? procedure-struct-type? procedure? - proj-pred? promise-forced? promise-running? promise? @@ -198,7 +200,6 @@ special-comment? srcloc? string? - stronger-pred? struct-accessor-procedure? struct-constructor-procedure? struct-mutator-procedure?